Media type: Book Title: The description logic handbook : theory, implementation, and applications Contributor: Baader, Franz [Hrsg.] imprint: Cambridge [u.a.]: Cambridge Univ. Press, 2010 Issue: 2. ed., paperback ed. Extent: XIX, 601 S.; graph. Darst; 25 cm Language: English ISBN: 0521150116; 9780521150118; 9780521876254 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik 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: Previous ed.: 2003 Previous ed.: 2003. - Includes bibliographical references and index
Bestand der TU Dresden Shelf-mark: 2014 8 026999 Item ID: 11835143N Status: Verfügbarkeit bitte in Center Advancing Electronics Dresden CfAED erfragen.