TY  - BOOK
AU  - Dov M. Gabbay,C. J. Hogger,J. A. Robinson
AU  - Robinson,J. A.
TI  - HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
SN  - 0198537468
U1  - 006.33 
PY  - 1994///
CY  - 
PB  - Clarendon Press, Oxford
KW  - Logic Programming
KW  - Artificial Intelligence
KW  - Logic, Symbolic And Mathematical
ER  -