Franz Baader

Popular items by Franz Baader

View all offers

Term Rewriting and All That (Volume 0)
Baader, Franz; Nipkow, Tobias

Item prices starting from

US$ 51.85

View 25 offers

Also find
New, Used
An Introduction to Description Logic
Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli

Item prices starting from

US$ 44.01

View 40 offers

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

Item prices starting from

US$ 149.74

View 13 offers

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

Item prices starting from

US$ 50.74

View 20 offers

Also find
New, Used, First Edition
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$ 62.82

View 13 offers

Also find
New, Used
Term Rewriting and Applications

Item prices starting from

US$ 69.94

View 12 offers

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

Item prices starting from

US$ 75.22

View 5 offers

Also find
Used