TY  - BOOK
AU  - Minker, Jack
TI  - Logic-Based Artificial Intelligence
SN  - 0792372247
U1  - 006.3 MIN 
PY  - 2003///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Logic, Symbolic and mathematical
KW  - Computer logic
KW  - Artificial Intelligence
N1  - Contents :
Part I: Introduction to Logi
ER  -