TY  - BOOK
AU  - Wos, Larry
TI  - Automation of reasoning
SN  - 0-12-763420-7
CY  - New York
KW  - Automatic theorm proving
KW  - Computer file
N1  - Includes bibliographical references and index
ER  -