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