000 | 02484nam0a22004690004500 | ||
---|---|---|---|
001 | 91731 | ||
005 | 20230925153740.0 | ||
010 | _a0-19-853745-X (v.1) | ||
010 | _a0-19-853746-8 (v.2) | ||
010 | _a0-19-853747-6 (v.3) | ||
010 |
_a0-19-853791-3 (v.4) _b(Encadernados) |
||
090 | _a91731 | ||
100 | _a19941205g19939999k y0pory5003 ba | ||
101 | 0 | _aeng | |
102 | _aGB | ||
200 | 1 |
_aHandbook of logic in artificial intelligence and logic programming _fed. Dov M. Gabbay, C. J. Hogger, J. A. Robinson |
|
210 |
_aOxford _cClarendon Press _d1993-19-- |
||
215 |
_av. _d24 cm |
||
327 | 0 | _avol.1 : Logical foundations / coord. J. Siekmann. - 1993. - XIII, 518 p | |
327 | _avol.2 : Deduction methodologies / coord. J. Siekmann. - 1994. - XV, 511 p | ||
327 | _avol.3 : Nonmonotonic reasoning and uncertain reasoning / coord. D. Nute. - 1994. - XIX, 529 p | ||
327 | _avol.4 : Epistemic and temporal reasoning. - 1995. - XVI, 611 p. | ||
500 | 1 | 0 | _aLogical foundations |
500 | 1 | 0 | _aDeduction methodologies |
500 | 1 | 0 | _aNonmonotonic reasoning and uncertain reasoning |
500 | 1 | 0 | _aEpistemic and temporal reasoning |
675 |
_a519.6 _vint _zeng |
||
675 |
_a681.3 _vint _zeng |
||
702 | 1 |
_966351 _aGabbay, _bDov M., _f1945- _4340 |
|
702 | 1 |
_983395 _aHogger, _bC. J. _4340 |
|
702 | 1 |
_9150640 _aRobinson, _bJ. A. _4340 |
|
702 | 1 |
_9164041 _aSiekmann, _bJ. _4340 |
|
702 | 1 |
_9129433 _aNute, _bD. _4340 |
|
942 |
_cLIVRO _n0 |