Media type: Book Title: The description logic handbook : theory, implementation, and applications Contains: Literaturverz. S. 496 - 545 Contributor: Baader, Franz [Editor] Published: Cambridge [u.a.]: Cambridge Univ. Press, 2003 Issue: 1. publ. Extent: XVII, 555 S; graph. Darst; 26 cm Language: English ISBN: 0521781760 RVK notation: ST 285 : Computer supported cooperative work (CSCW), Groupware ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik ST 302 : Expertensysteme; Wissensbasierte Systeme Keywords: Terminologische Logik Wissensbasiertes System > Wissensrepräsentationssprache Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 125 B111 Item ID: 30560820 Status: Loanable
Departmental Library DrePunct – open access area Shelf-mark: ST 125 B111 Item ID: 31000819 Status: Loanable
Departmental Library DrePunct – open access area Shelf-mark: ST 125 B111 Item ID: 31000820 Status: Loanable