Franz Baader

Identifiers

Open LibraryOL394139A

Top Subjects

Artificial intelligence (3)
Automatic theorem proving (2)
Rewriting systems (Computer science) (1)
Logic Design (1)
Programming Languages - General (1)
Congresses (1)
Computers (1)

Books by Franz Baader

Total count: 11

Ueber die Ekstase oder das Verzucktseyn der magnetischen Schlafredner aus einem Schreiben an Herrn Carl von Meyer in Frankfurt

Monath und Kussler1818-01-01
Fermenta Cognitionis1

De Gruyter, Inc.1822-01-01
Term rewriting and all that

Cambridge University Press1998-01-01
Term Rewriting & All That

Cambridge University Press1999-08-28
KI 2001 : Advances in Artificial IntelligenceJoint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

Springer2003-01-01
Description Logic HandbookTheory, Implementation, and Applications

Cambridge University Press2003-01-01
Automated Deduction - CADE-1919th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)1 edition

Springer2003-09-10
Logic for Programming, Artificial Intelligence, and Reasoning11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Springer London, Limited2005-01-01
Term Rewriting and Applications18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Springer London, Limited2007-01-01
Introduction to Description Logic

Cambridge University Press2017-01-01
Fermenta Cognitionis, Heft 1

de Gruyter GmbH, Walter2019-01-01