000 00577pam a2200205a 44500
008 160408bc1995 xxu||||| |||| 00| 0 eng d
020 _a052146014X
082 _a006.3
_bM575E
100 _aMeyer,J.-J. Ch.
245 1 _aEPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE
260 _a
_bCambridge Univ. Press, Cambridge
_cc1995
300 _axiii,354
500 _aIncludes Index
650 _aLogic, Symbolic And Mathematical
650 _aArtificial Intelligence
650 _aComputer Science
700 _aVan Der Hoek,W.
964 _gCIRC
997 _aA122613 C
999 _c326964
_d326964