000 00520 a2200169 4500
020 _a978-0-521-60280-7
035 _aII 37305
082 _a006.33
090 _c30281
_d30281
100 _aMeyer, J. J. Ch.
546 _aeng
245 _aEpistemic logic for AI and computer science
_cJ. J. Ch. Meyer, W van der Heok
260 _aCambridge
_bUniversity Press
_c1995
300 _axiii,354p
_c23 cm. --
500 _aContine Exercitii si Solutii Bibliografie p. 331 Index p. 347
942 _aIMAR
_cCART
_sRM
_sEP
_k006.33
999 _c29980
_d29980