TY  - BOOK
AU  - Chou, Shang-Ching
AU  - 
TI  - Mechanical geometry theorem proving
U1  - 516  CHO-M 
PY  - 1988///
CY  - D Reidel Publishing Co., Dordrecht
KW  - Geometry-- Mathematics
ER  -