| title | media type | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence) | Taschenbuch | | 978-3-540-40559-7 | 2003 |
| KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings | " | | 978-3-540-42612-7 | 2001 | Gerhard Brewka · Thomas Eiter |
| Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... Computer Science / Lecture Notes in Artific) | " | | 978-3-540-25236-8 | 2005 | Andrei Voronkov |
| Term Rewriting and All That | Paperback | | 978-0-521-77920-3 | 1999 | Tobias Nipkow |
| Term Rewriting and All That | Hardcover | | 978-0-521-45520-6 | 1998 | " |
| Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings | Taschenbuch | | 978-3-540-73447-5 | 2007 |
| The Description Logic Handbook: Theory, Implementation and Applications | Paperback | | 978-0-521-15011-8 | 2010 | Diego Calvanese · Deborah L. McGuinness · Daniele Nardi · Peter F. Patel-Schneider |
| The Description Logic Handbook: Theory, Implementation and Applications | Hardcover | | 978-0-521-87625-4 | 2007 | Diego Calvanese · Deborah L. McGuinness · Daniele Nardi · Peter F. Patel-Schneider |
| The Description Logic Handbook: Theory, Implementation and Applications | " | | 978-0-521-78176-3 | 2003 | Diego Calvanese · Deborah McGuinness · Daniele Nardi · Peter Patel-Schneider |