| 000 | 00750nam a2200241 u 4500 | ||
|---|---|---|---|
| 001 | 000736966 | ||
| 005 | 20240715054551.0 | ||
| 008 | 100519s1979 r 000 0 eng d | ||
| 020 | _a0-444-00365-7 | ||
| 020 | _a0-444-00368-1 | ||
| 041 | 0 | _aeng | |
| 100 | 1 | _aKowalski, Robert. | |
| 245 | 1 | 0 |
_aLogic for problem solving / _cRobert Kowalski.; Edit. Nils J. Nilsson. |
| 260 |
_aNew York : _bElsevier North Holland, _c1979. |
||
| 300 |
_a287 p. : _bill. ; _c24 cm. |
||
| 440 | 0 | _aArtificial intelligence series | |
| 440 | 4 | _aThe Computer science library | |
| 650 | 1 | 4 | _aProblem solving |
| 650 | 1 | 4 | _aComputer programming |
| 650 | 1 | 4 | _aLogic, Symbolic and mathematical. |
| 700 | 1 |
_aNilsson, Nils J. _eedt |
|
| 999 |
_c78295 _d78295 |
||