| 000 | 00588nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | 5800 | ||
| 003 | BD-DhUET | ||
| 008 | 850510s1984 gw b 001 0 eng | ||
| 020 | _a0387132996 | ||
| 040 |
_dBD-DhUET _c0 |
||
| 082 | 0 |
_a001.642 _bLLO/1984 |
|
| 100 | 1 | _aLloyd, J. W. | |
| 245 | 1 | 0 |
_aFoundations of logic programming _cby J.W. Lloyd |
| 250 | _aIst ed. | ||
| 260 |
_aNew York _bSpringer-Verlag _c1984 |
||
| 300 |
_ax, 124p. _c25 cm. |
||
| 490 | 1 | _aSymbolic computation: Artificial intelligence | |
| 504 | _aIncludes bibliographies | ||
| 650 | 0 | _aLogic programming | |
| 942 | _cGB | ||
| 999 |
_c5800 _d5800 |
||