F. Baader · Francine Baudry · Francis Bitter · François Beautier · Frank Badura · Frank Beddor · Franz Bader · Franz von Baader
Cambridge University Press · Springer, Berlin
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| KI 2001: Advances in Artificial Intelligence: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings | Taschenbuch | 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 | " | |
| The Description Logic Handbook: Theory, Implementation, and Applications | " | 978-0-521-87625-4 | 2007 | ||
| The Description Logic Handbook: Theory, Implementation and Applications | " | 978-0-521-78176-3 | 2003 | Diego Calvanese · Deborah McGuinness · Daniele Nardi · Peter Patel-Schneider | |