Media type: Book Title: Reasoning about knowledge Contributor: Fagin, Ronald [Other] imprint: Cambridge, Mass. [u.a.]: MIT Press, 1996 Issue: 2. print Extent: XIII, 477 S; graph. Darst Language: English ISBN: 0262061627 RVK notation: ST 285 : Computer supported cooperative work (CSCW), Groupware ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation CC 4400 : Abhandlungen zur Erkenntnistheorie ST 300 : Allgemeines Keywords: Wissensverarbeitung > Wissensbasiertes System > Programmierung Origination: Footnote: Literaturverz. S. 429 - 448
Departmental Library DrePunct – stack Shelf-mark: R2017 8 17482 Item ID: 10019264 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order