TY  - BOOK
AU  - Minker, Jack
TI  - Logic-based artificial intelligence
SN  - 9780792372240
SN  - 52177
U1  - 006.3 MIN 
PY  - 2000///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - Artificial Intelligence
KW  - Computer logic
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -