TY  - BOOK
TI  - Automated reasoning: introductions and applications 
SN  - 0130544469
PY  - 1984///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Automatic theorem proving
KW  - Artificial intelligence
KW  - Electronic digital computers
KW  - Programming
ER  -