000 | 01760cam a2200457 a 4500 | ||
---|---|---|---|
001 | vtls000134616 | ||
003 | VRT | ||
005 | 20240802173525.0 | ||
008 | 151109s1993 nyua b 001 0 eng | ||
010 | _a92-030399 | ||
020 | _a047157175X (paper) | ||
035 | _a2032636 | ||
039 | 9 |
_a201512071145 _byenh _c201511191131 _dbactt _y201511091609 _zhayen |
|
040 |
_aDLC _cDLC _dDLC |
||
041 | _aeng | ||
044 | _aUS | ||
050 | 0 | 0 |
_aQA76.73.P76 _bV36 1993 |
082 | 0 | 0 |
_a005.13/3 _bLE-V 1993 _220 |
090 |
_a005.13 _bLE-V 1993 |
||
100 | 1 | _aLe, Tu Van | |
245 | 1 | 0 |
_aTechniques of Prolog programming : _bwith implementation of logical negation and quantified goals / _cT. van Le. |
260 |
_aNew York : _bWiley, _cc1993. |
||
300 |
_axviii, 601 p. : _bill. ; _c24 cm. + _e2 computer disks (3 1/2 in.) |
||
500 | _aSystem requirements for computer disks: IBM PC or compatible; MS-DOS; Prolog. | ||
504 | _aIncludes bibliographical references (p. 585-593) and index. | ||
650 | 0 | _aProlog (Computer program language) | |
650 | 0 | _aNegation (Logic) | |
653 | _aNgôn ngữ lập trình | ||
653 | _aLập trình Prolog | ||
653 | _aNgôn ngữ Prolog | ||
856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/description/wiley037/92030399.html |
856 | 4 |
_3Table of Contents _uhttp://www.loc.gov/catdir/toc/onix01/92030399.html |
|
906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
920 | _a**LC HAS REQ'D # OF SHELF COPIES** | ||
925 | _aG | ||
926 | _a0 | ||
927 | _aSH | ||
942 | _1 | ||
955 | _apc17 to ja00 08-14-92; jg11 to Tech 1 08-17-92; jf04 08-18-92; jf12 08-19-92; aa19 08-20-92; CIP ver. nb00 11-18-92 to Comp. Files Team; vm12 12-03-92 | ||
991 |
_bc-MRC _hQA76.73.P76 _iV36 1993 _tCopy 1 _wBOOKS |
||
999 |
_c315809 _d315809 |