Media type: Book Title: The description logic handbook : theory, implementation, and applications Contains: Literaturverz. S. 496 - 545 Contributor: Baader, Franz [Hrsg.] imprint: Cambridge [u.a.]: Cambridge Univ. Press, 2004 Issue: Reprint. (twice) Extent: XVII, 555 S.; graph. Darst; 26 cm Language: English ISBN: 0521781760 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 120 : Grundlagen der Informatik ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik ST 285 : Computer supported cooperative work (CSCW), Groupware ST 300 : Allgemeines ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation 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: 31002959 Status: Loanable
Departmental Library DrePunct Shelf-mark: ST 125 B111 Item ID: 30986800 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.