000 00752nam a2200229Ia 4500
008 191130s1995##################000#0#eng##
020 _a9780521602808
040 _aACL
_cACL
082 _a006.3 MEY
100 _aMeyer, John-Jules Ch
245 _aEpistemic logic for AI and computer science
_cJ.-J. Ch. Meyer, W. van der Hoek
260 _aCambridge
_bCambridge University Press
_cc1995
300 _axiii, 354 p. : ill. ; 26 cm
500 _aIncludes bibliographical references (p. 331-346) and index
650 _aArtificial Intelligence
650 _aComputer science
650 _aLogic, Symbolic and mathematical
700 _aHoek, W. van der
990 _a9f0b38b4ac10000c4a9ab2128daba9ae
991 _a105832
999 _c260788
_d260788