Franz Baader

4 books

The Description Logic Handbook: Theory, Implementation and Applications by Franz Baader, Deborah L. McGuinness, Diego Calvanese, Peter F. Patel-Schneider, Daniele Nardi
The Description Logic Handbook: Theory, Implementation and Applications
—
Franz Baader, Deborah L. McGuinness, Diego Calvanese, Peter F. Patel-Schneider, Daniele Nardi

The Description Logic Handbook: Theory, Implementation and Applications

Franz Baader, Deborah L. McGuinness, Diego Calvanese, Peter F. Patel-Schneider, Daniele Nardi

601 pages • first pub 1999 (editions)

challenging informative reflective medium-paced
The Description Logic Handbook: Theory, Implementation, and Applications by Franz Baader

The Description Logic Handbook: Theory, Implementation, and Applications

Franz Baader

601 pages • first pub 1999 (editions)

nonfiction informative reflective medium-paced
An Introduction to Description Logic by Carsten Lutz, Franz Baader, Ian Horrocks

An Introduction to Description Logic

Carsten Lutz, Franz Baader, Ian Horrocks

262 pages • missing pub info (editions)

nonfiction computer science
Term Rewriting and All That by Franz Baader, Tobias Nipkow

Term Rewriting and All That

Franz Baader, Tobias Nipkow

316 pages • first pub 1998 (editions)

challenging informative reflective medium-paced