TY  - BOOK
AU  - Hogger C J (ed.)
AU  - Dov M Gabbay (ed.)
TI  - Handbook of logic in artificial intelligence and logic programming (v.2): : deduction methodologies
SN  - 9780198537465
U1  - 153.43 
PY  - 1996///
CY  - New York
PB  - Oxford University Press
KW  - Logic Deduction
KW  - Artificial Intelligence
KW  - Philosophy
ER  -