Media type: Book Title: The logic of knowledge bases Contains: Literaturverz. S. [275] - 280 Contributor: Levesque, Hector J. [Author]; Lakemeyer, Gerhard [Author] Published: Cambridge, Mass. [u.a.]: MIT Press, 2000 Extent: XVIII, 282 S; graph. Darst; 24 cm Language: English ISBN: 0262122324 RVK notation: CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Wissensbasiertes System > Logik Wissensbasiertes System > Logik Wissensrepräsentation > Logik Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 304 L662 Item ID: 30626496 Status: Loanable