TY  - BOOK
AU  - Chou, Shang-Ching
AU  - Gao, Xiao-Shan
AU  - Zhang, Jing-Zhong
TI  - Machine proofs in geometry: ; automated production of readable proofs for geometry theorems 
U1  - 516 
PY  - 1994///
CY  - Singapore
PB  - World Scientific
ER  -