1
0
0
(1 - 19 von 24
)
Expressivity and Definability in Extended Modal Laguages
von Wolfgang Heinle, Shaker VerlagTaschenbuch
C. Brink, W. Kahl, G. Schmidt (eds.): Relational Methods in Computer...
sqrl.mcmaster.ca
Holger Schlingloff, Wolfgang Heinle 6 Relational Formalisation of Nonclassical Logics Ewa Orlowska 7 Linear Logic Jules Desharnais, Bernard Hodgson, John Mullins
Der Standort des Bankbetriebes: eine Untersuchung über die
books.google.de
Der Standort des Bankbetriebes. Front Cover. Wolfgang Heinle. Rodenbusch, pages. 0 Reviews. What people are saying - Write a review.
Computer Science Logic: 9th International Workshop, CSl '95, Annual...
books.google.es
This book contains a carefully refereed selection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL...
Elementare Aussagenlogik - Friedrich L. Bauer, Martin Wirsing -...
books.google.es
Wolfgang Heinle unterstützte uns mit neuen Ideen, scharfem Blick und unermüdlicher Geduld. Bei der TEXt-Aufbereitung war Herr Dr. Thomas Ströhlein eine ...
Kürschners Deutscher Literatur-Kalender Jahrgang Google...
books.google.de
... Helmut Haslehner, Elfriede Heichen, Walter Heidenberger, Felix Heider, Albert Heinemann, Erich Heiner, Wolfgang Heinle, Fritz Heinrichs, Hans-Gert Heise, ...
Kürschners Deutscher Literatur-Kalender auf das Jahr
books.google.es
... Wolfgang Heinle, Fritz Heinrichs, Hans-Gert Heise, Hans-Jürgen Heisinger, Hilde Heizmann, Lieselotte Helbling, Hanno Held, Christa Held, Wolfgang Heller, ...
Lamentations of Youth: The Diaries of Gershom Scholem,
books.google.de
For decades, Gershom Scholem kept these diaries locked away, returning to them only to refresh his memory of past events and eloquent observations. They...
Briefe - Band 1 - Seite Google Books-Ergebnisseite
books.google.vg
mit der Dame Lacis , mit Florens Christian Rang , mit Hessel , Wolfgang Heinle und anderen nicht irgendwo vollständig vorhanden sein soll.14 Ich habe meine ...
Relational Methods in Computer Science - Google Books
books.google.es
Chapter 5 Relation Algebra and Modal Logics Holger Schlingloff, Wolfgang Heinle This chapter gives an introduction to modal logics as seen from the context of ...
The Weimar Dilemma: Intellectuals in the Weimar Republic - Google...
books.google.es
... quickly realised that it was his oblique way of expressing his profound sense of loss after the suicide of his closest friend, the young poet Wolfgang Heinle.
Relational Methods in Computer Science
books.google.vg
Chapter 5 Relation Algebra and Modal Logics Holger Schlingloff, Wolfgang Heinle This chapter gives an introduction to modal logics as seen from the context ...
Computer Science Logic: 9th International Workshop, CSl '95, ...
books.google.com
Thanks to Wolfgang Heinle and Werner Wolff for some helpful remarks . References 1. Laurent Catach . Tableaux : A general theorem prover for modal logics .
Standorttendenzen in Branchen des Dienstleistungssektors und ihre...
books.google.pl
1.1 Zum Begriff der Dienstleistungen Der Begriff der Dienstleistungen wird sowohl in volkswirt schaftlichen als auch in betriebswirtschaftlichen Unter...
Briefebooks.google.de › books
books.google.de
mit der Dame Lacis , mit Florens Christian Rang , mit Hessel , Wolfgang Heinle und anderen nicht irgendwo vollständig vorhanden sein soll .
Official Gazette of the United States Patent Office: Patents - United...
books.google.de
330—53 8 Claims Berthold Bosch , Ulm ; Wolfgang Heinle , Neu - Ulm , and Reinhart Engelmann , Ulm , all of , Germany , assignors to Telefunken ...
Handbook of Automated Reasoning - Google Books
books.google.de
Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware...
Model Checking - E. M. Clarke, Orna Grumberg, Doron Peled - Google...
books.google.de
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of...
Zur Stabilitätsanalyse der Wellenausbreitung bei verzweigten
books.google.de
Wolfgang Heinle pages. 0 Reviewshttp://books.google.com/books/about/Zur_Stabilit%C3%A4tsanalyse_der_Wellenausbre.html?id=e289cgAACAAJ ...
sortiert nach Relevanz / Datum