| 000 | 00606pam a2200193a 44500 | ||
|---|---|---|---|
| 008 | 160408b1993 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a019853745X | ||
| 082 |
_a006.33 _bH192 |
||
| 100 | _aGabbay,Dov M. | ||
| 245 | 1 | _aHANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING | |
| 260 |
_a _bClarendon Press,Oxford _c1993 |
||
| 300 | _axiii,518 | ||
| 500 | _aVol.1:Logical Foundations;Vol.2:Background:Computational Structures | ||
| 650 | _aComputer Science | ||
| 650 | _aLogic, Symbolic And Mathematics | ||
| 650 | _aArtificial Intelligence | ||
| 964 | _gCIRC | ||
| 997 | _aA142653 C | ||
| 999 |
_c352116 _d352116 |
||