TY  - BOOK
AU  - LE TU VAN
TI  - TECHNQUES OF PROLOG PROGRAMAING WITH IMPLMENTION OF LOGIC NEGATION AND QUANTIFED GOOLS / 
U1  - 005.133 
PY  - 1993///
CY  - [S.N] : 
PB  - JOHN WILEY AND SONS. INC ، 
KW  - COMPUTER
KW  - COMPUTER  - PROGRAMMERS
ER  -