TY  - BOOK
AU  - Gabbay, Dov M.
TI  - Logic for artificial intelligence and information techology
T2  - (Texts in Computing; v. 9)
AV  - QA 9 .G33 2007 
PY  - 2007///
CY  - London
PB  - College Publications
KW  - Logic, symbolic and mathematical
KW  - Logic progrmming
KW  - Artificial intelligence
N1  - Includes bibliographical references
ER  -