TY  - BOOK
AU  - Boyer, Robert S.
AU  - Moore, J. Strother
TI  - A COMPUTATIONAL LOGIC
U1  - 519.4 
PY  - 1979///
CY  - New York
PB  - Academic Press
KW  - Automatic Theorem Proving
N1  - Bibliographies : P. 385-387
ER  -