Franz Baaderの本 - BookPine

An Introduction to Description Logic

An Introduction to Description Logic

Franz Baader

The Description Logic Handbook

The Description Logic Handbook

Franz Baader

Franz Baader's Kleine Schriften: Aus Zeitschriften Zum Erstenmal Gesammelt Und Herausgegeben Von Franz Hoffmann

Franz Baader's Kleine Schriften: Aus Zeitschriften Zum Erstenmal Gesammelt Und Herausgegeben Von Franz Hoffmann

Franz Baader

The Description Logic Handbook: Theory, Implementation and Applications

The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader

Term Rewriting and Applications

Term Rewriting and Applications

Franz Baader

The Description Logic Handbook: Theory, Implementation, and Applications, 2nd Edition

The Description Logic Handbook: Theory, Implementation, and Applications, 2nd Edition

Franz Baader

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings

Franz Baader

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Franz Baader

Automated Deduction - CADE-19

Automated Deduction - CADE-19

Franz Baader

Term Rewriting and All That

Term Rewriting and All That

Franz Baader