TY  - BOOK
AU  - Charniak,Eugene
AU  - McDermott,Drew
TI  - Introduction to artificial intelligence
SN  - 9812359842
U1  - 006.3 22
PY  - 1999///
CY  - England
PB  - A Wesley
KW  - Logic and deduction
N1  - Includes bibliographical references (p. 663-685) and index; Dept. of CSE
ER  -