TY  - BOOK
AU  - MEYER ,J.J. CH. : HOEK ,W.V.D.
TI  - EPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE
SN  - 052146014X
U1  - 006.3 
PB  - CAMEBRIDGE : UNIVERSITY
KW  - ARTIFICIAL INTELLIGENCE
ER  -