TY  - BOOK
AU  - Meyer, John-Jules Ch
AU  - Hoek, W. van der
TI  - Epistemic logic for AI and computer science
SN  - 052146014X
SN  - 95013981
U1  - QA76 .M495 1995 006.3/3 
PY  - 1995///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Artificial Intelligence
KW  - Computer science
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. 331-346) and index
ER  -