TY  - BOOK
AU  - Meyer, John-Jules Ch
AU  - Hoek, Wiebe van der
TI  - Epestemic logic for AI and computer science
T2  - Cambridge tracts in theoretical computer science
SN  - 052146014x
AV  - B 820.3 Mey 
PY  - 1995///
CY  - Cambridge
PB  - Cambridge University Press
KW  - COMPUTER SCIENCE
KW  - LOGIC, SYMBOLICAL AND MATHEMATICAL
KW  - ARTIFICIAL INTELLIGENCE
N1  - Bibliography
ER  -