Premium Members Get 10% Off and Earn Rewards Find Out More

 

1 - 7 of 7 results for "Franz Baader"

Grid View Grid
List View List
Grid View Grid
List View List
Title: An Introduction to Description Logic, Author: Franz Baader
QUICK ADD
An Introduction to Description…
by Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
Hardcover $91.00
Title: Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / Edition 1, Author: Franz Baader
QUICK ADD
Automated Deduction - CADE-19:…
by Franz Baader
#2741 in Series
Paperback $54.99
Title: KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings, Author: Franz Baader
QUICK ADD
KI 2001: Advances in…
by Franz Baader (Editor), Gerhard Brewka (Editor), Thomas Eiter (Editor)
#2174 in Series
Paperback $54.99
Title: Term Rewriting and All That, Author: Franz Baader
QUICK ADD
Term Rewriting and All That
by Franz Baader, Tobias Nipkow
Paperback $67.99
Title: Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings / Edition 1, Author: Franz Baader
QUICK ADD
Term Rewriting and…
by Franz Baader
#4533 in Series
Paperback $54.99
Title: Fermenta cognitionis, Heft 1., Author: Franz Baader
QUICK ADD
Fermenta cognitionis, Heft 1.
by Franz Baader
Hardcover $154.00
Title: The Description Logic Handbook: Theory, Implementation and Applications / Edition 2, Author: Franz Baader
QUICK ADD
The Description Logic Handbook…
by Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
Paperback $79.99