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 |