TY  - GEN
AU  - Chou,Shang-Ching
TI  - Mechanical geometry theorem proving
T2  - Mathematics and its applications
SN  - 9027726507
AV  - QA76.9.A96 
U1  - 516/.0028/5 19
PY  - 1988///
CY  - Norwell, MA, U.S.A., Boston, Dordrecht
PB  - D. Reidel Pub. Co., Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
KW  - Automatic theorem proving
N1  - Includes indexes; Bibliography: p. 192
ER  -