TY  - BOOK
AU  - Duffy,David A.
TI  - Principles of automated theorem proving
T2  - Wiley professional computing
SN  - 0471927848
AV  - QA76.9.A96 D84 1991
U1  - 511.3 20
PY  - 1991///
CY  - Chichester, New York
PB  - Wiley
KW  - Automatic theorem proving
KW  - Local
KW  - Mathematical logic
N1  - Includes bibliographical references (p. 225-232) and index
ER  -