TY  - BOOK
AU  - Chou, Shang-Ching
TI  - MECHANICAL GEOMETRY THEOREM PROVING
U1  - 516.00285 
PY  - 1988///
CY  - Dordrecht
PB  - D. Reidel
KW  - Automatic Theorem Proving
ER  -