Franz Baader

Popular items by Franz Baader

View all offers

An Introduction to Description Logic
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli

Item prices starting from

US$ 33.34

View 31 offers

Also find
New, Used
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science, 2741)

Item prices starting from

US$ 39.99

View 16 offers

Also find
New, Used
Term Rewriting and All That
Baader, Franz; Nipkow, Tobias

Item prices starting from

US$ 49.42

View 28 offers

Also find
New, Used
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4533)

Item prices starting from

US$ 47.60

View 11 offers

Also find
New, Used
The Description Logic Handbook: Theory, Implementation and Applications

Item prices starting from

US$ 69.72

View 3 offers

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

Item prices starting from

US$ 96.99

View 10 offers

Also find
New, Used
Fermenta cognitionis, Heft 1. (German Edition)
Baader, Franz

Item prices starting from

US$ 150.78

View 10 offers

Also find
New