TY  - BOOK
AU  - Newborn, Monty
TI  - Automated theorem proving: theory and practice
SN  - 0-387-95075-3
PY  - 2001///
CY  - New York
PB  - Springer
KW  - Automated theorem proving
KW  - AI (Artificial intelligence)
KW  - Electronic brains
KW  - Intelligence, Artificial
KW  - Machine intelligence
KW  - Artificial intelligence
KW  - Expert systems
KW  - Bionics
KW  - Electronic data procressing
N1  -  CD ROM available
ER  -