Franz Baader
Books
- KI 2001 : Advances in Artificial Intelligence
- Fermenta Cognitionis, Heft 1
- Introduction to Description Logic
- Ueber die Ekstase oder das Verzucktseyn der magnetischen Schlafredner aus einem Schreiben an Herrn Carl von Meyer in Frankfurt
- Term Rewriting and Applications
- Fermenta Cognitionis
- Automated Deduction - CADE-19
- The Description Logic Handbook
- Die S-Varietät DS und einige Untervarietäten
- The description logic handbook
- Frontiers of combining systems
- The description logic handbook
- Term Rewriting & All That
- Term rewriting and all that
Author data: Open Library