Media type: Book Title: The description logic handbook : theory, implementation, and applications Contributor: Baader, Franz [Editor] Published: Cambridge [u.a.]: Cambridge Univ. Press, 2008 Issue: [2. ed., repr.] Extent: XIX, 601 S.; graph. Darst; 25 cm Language: English ISBN: 9780521876254 RVK notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik SK 130 : Logik und Grundlagen, Metamathematik, ST 300 : Allgemeines Keywords: Terminologische Logik Wissensbasiertes System > Wissensrepräsentationssprache Origination: Footnote: Sacherschließung aus TA der Voraufl. übernommen
Bestand der TU Dresden Shelf-mark: 2009 4 013978 Item ID: 10912197N Status: Verfügbarkeit bitte in Prof Computeranwendung Bauwesen erfragen.
Departmental Library DrePunct Shelf-mark: ST 125 B111(2) Item ID: 32542656 Status: Verfügbarkeit bitte in Prof Softwaretechnologie erfragen.