TY  - BOOK
AU  - Wos Larry [ed..]
TI  - Automated reasoning: introduction and applications
SN  - 0130544531; 
PY  - 1984///
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Automatic theorem proving.; Artificial intelligence.; Computer programming
N1  - Includes index
ER  -