> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Knowledge representation and reasoning Beteiligte: Brachman, Ronald J. [VerfasserIn]; Levesque, Hector J. [VerfasserIn]; Pagnucco, Maurice [Sonstige Person, Familie und Körperschaft] Erschienen: Amsterdam; Heidelberg [u.a.]: Morgan Kaufmann, 2004 Umfang: XXIX, 381 S.; graph. Darst; 24 cm Sprache: Englisch ISBN: 1558609326; 9781558609327 RVK-Notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Schlagwörter: Wissensrepräsentation > Inferenz Wissensrepräsentation > Informationstheorie Entstehung: Anmerkungen: Hier auch später erschienene, unveränderte Nachdrucke
Bereichsbibliothek DrePunct Signatur: ST 304 B796 K7 Barcode: 31002624 Status: Verfügbarkeit bitte in Prof Automatentheorie erfragen.
Bereichsbibliothek DrePunct Signatur: ST 304 B796 K7 Barcode: 34479365 Notizen: Transferred to digital print 2011 Status: Verfügbarkeit bitte in Prof Computational Logic erfragen.