1
0
0
(1 - 21 von 22
)
Einen Moment, bitte...
www.hugendubel.de
Design Patterns für mathematische Beweise, Buch (gebunden) von Hans Jürgen Ohlbach, Norbert Eisinger bei hugendubel.de. Portofrei bestellen oder in der ...
Logic, Language and Reasoning by Hans Jürgen Ohlbach, Uwe Reyle, Uwe...
www.dymocks.com.au
Logic, Language and Reasoning from Dymocks online bookstore. Essays in Honour of Dov Gabbay. PaperBack by Hans Jürgen Ohlbach, Uwe Reyle, Uwe Reyle
Design Patterns für mathematische Beweise: Ein Leitfaden ...google.de
books.google.de
Ein Leitfaden insbesondere für Informatiker Hans Jürgen Ohlbach, Norbert Eisinger. Hans Jürgen Ohlbach Norbert Eisinger Design Patterns für mathematische ...
KI 2006: 29th Annual German Conference on AI, KI 2006, ...google.de
books.google.de
... Jürgen Ohlbach. About real time, calendar systems and temporal notions. In H. Barringer and D. Gabbay, editors, Advances in Temporal Logic, pages 319–
Logic, Language and Reasoning: Essays in Honour of Dov Gabbaygoogle.de
books.google.de
... Jürgen Ohlbach. Quantifier elimination in second-order predicate logic. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge ...
Free delivery worldwide on all books from Book Depository
www.bookdepository.com
Book Depository is the world's most international online bookstore offering over 20 million books with free delivery worldwide.
hans jürgen ohlbach: 3 Books available | chapters.indigo.ca
www.chapters.indigo.ca
Buy hans jürgen ohlbach Books at Indigo.ca. Shop amongst our popular books, including 3, Logic, Language And Reasoning, Design Patterns Für Mathematische...
Principles and Practice of Semantic Web Reasoning: Second ...google.de
books.google.de
... Jürgen Ohlbach, and Stephanie Spranger. On reasoning on time and location on the web. In N. Henze F. Bry and J. Malusynski, editors, Principles and Practice ...
Principles of Knowledge Representation and Reasoning: ...google.de
books.google.de
... Jürgen Ohlbach . From a Hilbert calculus to its model theo- retic semantics , presented at UKALP , april 92 , to be published . [ GO92b ] Dov M ...
The Description Logic Handbook: Theory, Implementation and ...google.de
books.google.de
... Jürgen Ohlbach . A multi - dimensional terminological knowledge representation language . In Proc . of the 13th Int . Joint Conf . on Artificial ...
Hans Jürgen Ohlbach - A Web Based Annotated Bibliography - Aigaion 2.0
www.sfbtr8.spatial-cognition.de
Hans Jürgen Ohlbach and Edgar-Philipp Stoffel, Versatile Route Descriptions for Pedestrian Guidance in Buildings: Conceptual Model and Systematic Method, ...
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere...
books.google.cz
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition,...
KI 2006: 29th Annual German Conference on AI, KI 2006, Bremen,...
books.google.cz
This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen,...
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay -...
books.google.cz
th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October Dov is one of the most outstanding and most productive researchers we...
Design Patterns für mathematische Beweise | Lesejury
www.lesejury.de
Verlag: Springer Berlin; Genre: keine Angabe / keine Angabe; Seitenzahl: 184; Ersterscheinung: ; ISBN: Hans Jürgen Ohlbach, ...
Principles and Practice of Semantic Web Reasoning: ...books.google.cz › books
books.google.cz
Lecture Notes in Computer Science, 1677, Springer, pages 832–841, Hans Jürgen Ohlbach. About real time, calendar systems and temporal notions.
Principles and Practice of Semantic Web Reasoning: Second...
books.google.cz
Time Granularities in Databases, Data Mining and Temporal Reasoning. Springer Verlag, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, and ...
The Description Logic Handbook: Theory, Implementation and...
books.google.cz
Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades....
Publications Master Template, generated: 2:13, 25 May 2020
halma.mpi-inf.mpg.de
Your search returned the following 29 documents: Andreas Nonnengart, Hans Jürgen Ohlbach, and Dov M. Gabbay Encoding two-valued non-classical logics in ...
A multi-dimensional terminological knowledge representation language...
books.google.de
A multi-dimensional terminological knowledge representation language. Front Cover. Franz Baader, Hans Jürgen Ohlbach. Max-Planck-Inst. für Informatik,
Temporal Logic: First International Conference, ICTL '94, Bonn,...
books.google.de
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July , : Proceedings. Front Cover. Dov M. Gabbay, Hans Jürgen Ohlbach.
Verwandte Suchanfragen zu Jürgen Ohlbach
German Conference |
Personen Vorname "Jürgen" (57107) Name "Ohlbach" (10) |
sortiert nach Relevanz / Datum