Franz Baader

Franz Baader is the author of books such as Description Logic Handbook.

Books by Franz Baader

Description Logic Handbook

Description Logic Handbook

No cover image available

Term Rewriting and All That

No cover image available

Automated Deduction - Cade-19

No cover image available

Automated Deduction, Cade-19

No cover image available

Ki 2001

No cover image available

Term Rewriting and Applications

No cover image available

Logic For Programming, Artificial Intelligence, and Reasoning

No cover image available

An Introduction To Description Logic