1
An introduction to description logic /
Book
Other Personal Name(s): “...Baader, Franz...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
2
The description logic handbook : theory, implementation, and applications /
Book
Other Personal Name(s): “...Baader, Franz...”
Table of Contents 
Loan/Reservation

Favorites
Saved in:
3
Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings [E-Book] /
Other Personal Name(s): “...Baader, Franz...”

Full text 
Favorites
Saved in:
4
The Description Logic Handbook : Theory, Implementation and Applications [E-Book] /
Other Personal Name(s): “...Baader, Franz...”

Full text 
Favorites
Saved in:
5
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) / 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings [E-Book] /
Other Personal Name(s): “...Baader, Franz...”

Full text 
Favorites
Saved in:
6
Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings [E-Book] /
Other Personal Name(s): “...Baader, Franz...”

Full text 
Favorites
Saved in:
7
The description logic handbook : theory, implementation, and applications [E-Book] /
Other Personal Name(s): “...Baader, Franz...”

Full text 
Favorites
Saved in:
8
KI 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings [E-Book] /
Other Personal Name(s): “...Baader, Franz...”

Full text 
Favorites
Saved in:

Narrow Search Results