Term Rewriting & All That
by Franz Baader
ISBN 13: 9780521779203
Format: Paperback (316 pages) Publisher: Cambridge University Press Published: 05 Aug 1999
Save for later
KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings: 2174 (Lecture Notes in Computer Science)
by Franz Baader,Gerhard Brewka,Thomas Eiter
ISBN 13: 9783540426127
Format: Paperback (488 pages) Publisher: Springer Published: 05 Sep 2001
An Introduction to Description Logic
by Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
ISBN 13: 9780521873611
Format: Hardcover (260 pages) Publisher: Cambridge University Press Published: 30 Apr 2017
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings: 2741 (Lecture Notes in Computer Science, 2741)
ISBN 13: 9783540405597
Format: Paperback (524 pages) Publisher: Springer Published: 10 Oct 2008
Philosophische Schriften: Band 4
by Johann Caspar Bluntschli,Franz Hoffmann,Franz Baader
ISBN 13: 9783743357976
Format: Paperback (488 pages) Publisher: Hansebooks Published: 23 Oct 2016