Media type: Book Title: The description logic handbook : theory, implementation, and applications Contributor: Baader, Franz [Editor] Published: Cambridge [u.a.]: Cambridge Univ. Press, c 2007 Issue: [2. ed.] Extent: XIX, 601 S; ill; 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: Literaturverz. S. [537] - 591 Hier auch später erschienene, unveränderte Nachdrucke
Central Library – textbook collection (tbc) Shelf-mark: ST 125 B111(2) Item ID: 31878136 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 125 B111(2) Item ID: 31878137 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 125 B111(2) Item ID: 31878139 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: ST 125 B111(2) Item ID: 31878140 Status: Loanable
Departmental Library DrePunct – open access area Shelf-mark: ST 125 B111(2) Item ID: 31877648 Status: To be used in the library, no dispatch by interlibrary loan; delivery of photocopies possible
Bestand der TU Dresden Shelf-mark: 2008 4 012483 Item ID: 10837721N Status: Verfügbarkeit bitte in Prof Computeranwendung Bauwesen erfragen.
Departmental Library DrePunct Shelf-mark: ST 125 B111(2) Item ID: 31877647 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.