TY  - BOOK
AU  - Meyer, J-J Ch.
AU  - van der Hoek, W.
TI  - Epistemic Logic for AI and Computer Science
SN  - 0 521 46014 X
CY  - Cambridge
KW  - Epistemic Logic
KW  - Computer Science
ER  -