TY  - BOOK
AU  - Chang, Chin-Liang
AU  - Lee, Richard Char-Tung
TI  - Symbolic, logic and mechanical theorem proving
U1  - 519.6 
PY  - 1973///
CY  - New York
PB  - Academic Press
KW  - Symbolic theorem proving
KW  - Logic theorem proving
KW  - Mechanical theorem proving
KW  - Computational mathematics
KW  - Numerical analysis
KW  - Computer programming
KW  - Computer software
ER  -