TY  - BOOK
T1  - Symbolic logic and mechanical theorem proving
DA  - [1973]
CY  - New York,
AU  - Chang, Chin-Liang,
AU  - Lee, Richard Char-Tung,
CN  - QA9 .C49
CN  - QA9
PB  - Academic Press
PP  - New York,
PY  - [1973]
ID  - 59785
KW  - Logic, Symbolic and mathematical.
KW  - Automatic theorem proving.
KW  - Artificial intelligence.
TI  - Symbolic logic and mechanical theorem proving
ER  -