Epistemic Logic for AI and Computer Science

Shelfclass_id 4.B.1
Sortkey MEYER, JOHN-JULES CH
Authors John-Jules Ch. Meyer, W. van der Hoek
Title Epistemic Logic for AI and Computer Science
Publisher Cambridge University Press
Year 1995
Languages eng
Isbn 0521602807
Series Cambridge tracts in theoretical computer science
Volume 41
Description xiii, 354 p. ill. 26 cm
Record date 20060713
Location New York
Keywords Computer science, Artificial intelligence, Logic, Symbolic and mathematical
Urlnote Table of contents
Urls http://www.loc.gov/catdir/toc/cam027/95013981.html