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 |