TY  - BOOK
AU  - Meyer, John-Jules Ch
AU  - Hoek, W. van der
TI  - Epistemic logic for AI and computer science
SN  - 9780521602808
U1  - 006.3 MEY 
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  -