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 |