Biblioteksøk

Vis søkeskjema

7 treff

An introduction to description logic

Franz Baader, Ian Horrocks, Carsten Lutz,...
Bok Engelsk 2017

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

LPAR 2004
Bok Engelsk 2005

The Description logic handbook : theory, implementation, and applications

edited by Franz Baader ... [et al.]
Bok Engelsk 2003

Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

International Conference on Automated Deduction
Bok Engelsk 2003

KI 2001 : advances in artificial intelligence : joint German/Austrian conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings

German Conference on Artificial Intelligence
Bok Engelsk 2001

Term rewriting and all that

Franz Baader and Tobias Nipkow
Bok Engelsk 1998

Frontiers of combining systems : first international workshop, Munich, March 1996

edited by Franz Baader and Klaus U. Schul...
Bok Engelsk 1996

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål