Franz Baader
The Description Logic Handbook
Theory, Implementation, And Applications
2 Rev Ed
Editor: Franz Baader
Cambridge University Press (United Kingdom), 2007
Hardback, 622 pages
Ki 2001 Advances In Artificial Intelligence
Joint German/Austrian Conference On Ai, Vienna, Austria, September 19-21, 2001. Proceedings
Editor: Franz Baader
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2001
Paperback, 484 pages
Baader Franz, Nipkow Tobias:
Term Rewriting And All That
Cambridge University Press (United Kingdom), 1999
Paperback, 316 pages



