| 000 | 00785nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1995##################000#0#eng## | ||
| 020 | _a052146014X | ||
| 022 | _a95013981 | ||
| 040 |
_aACL _cACL |
||
| 082 | _aQA76 .M495 1995 006.3/3 | ||
| 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 _c1995 |
||
| 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 | _a003a6ebfac10000c024707aeaeed572f | ||
| 991 | _a15800 | ||
| 999 |
_c260787 _d260787 |
||