Franz Baader
6 published titles
Frontiers of combining systems : first international workshop, Munich, March 1996
(Contributor)
1 edition
- ISBN: 0792342712
- Kluwer Academic
- 1996
- Details
Term rewriting and all that
1 edition
- ISBN: 0521455200
- Cambridge University Press
- 1998
- Details
KI 2001 : advances in artificail intelligence : joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540426124
- Springer
- 2001
- Details
Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540405593
- Springer
- 2003
- Details
The description logic handbook : theory, implementation, and applications
(Contributor)
2 editions
- ISBN: 0521781760
- Cambridge University Press
- 2003
- Details
- ISBN: 9780521876254
- Cambridge University Press
- 2007
- Details
Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 3540252363
- Springer
- 2005
- Details
