| 000 | 00895pam a2200265 a 4500 | ||
|---|---|---|---|
| 008 | |||
| 020 | _a0471599700 (pbk.) | ||
| 020 | _a047157175x (pbk.) | ||
| 049 | _aMAIN | ||
| 090 |
_aQA76.73.P76 _bVAN |
||
| 100 | 1 | _aVan Le, T. | |
| 245 | 1 | 0 |
_aTechniques of Prolog programming : _bwith implementation of logical negation and quantified goals / _cT. van Le. |
| 260 |
_aNew York : _bWiley, _c1993. |
||
| 300 |
_axviii, 601 p. : _bill. ; _c24 cm. |
||
| 500 | _aSystem requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog. | ||
| 500 | _aIncludes index. | ||
| 504 | _aIncludes bibliographical references. | ||
| 650 | 0 | _aProlog (Computer program language). | |
| 650 | 0 | _aNegation (Logic). | |
| 907 |
_a.b10225493 _b25-01-18 _c22-01-07 |
||
| 003 | |||
| 005 | 20230123134334.0 | ||
| 040 | _cNUST | ||
| 942 |
_cBOOKS _kQA76.73.P76 _mVAN |
||
| 999 |
_c164166 _d164166 |
||