TY  - BOOK
AU  - WuWen, Tsun
TI  - Mechanical Theorem Proving in Geometries: basic principles
SN  - 3211825061
U1  - 516.0015 WUW 
PY  - 1994///
CY  - Berlin
PB  - Springer Verlag
KW  - Geometry -- Data Processing
KW  - Automatic theorem proving
ER  -