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 -