Franz Baader
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
13
Frontiers of combining systems
Automated Deduction - CADE-19
Introduction to Description Logic
Fermenta Cognitionis, Heft 1
Ueber die Ekstase oder das Verzucktseyn der magnetischen Schlafredner aus einem Schreiben an Herrn Carl von Meyer in Frankfurt
The description logic handbook
Term Rewriting & All That
Term rewriting and all that
KI 2001 : Advances in Artificial Intelligence
Term Rewriting and Applications
Fermenta Cognitionis
The Description Logic Handbook
