TY  - BOOK
AU  - Wen-tsun Wu.
AU  - Xiaofan Jin,
AU  - Dongming Wang,
TI  - Mechanical theorem proving in geometries: basic principles 
SN  - 3211825061 :
U1  - 516.0015113 
PY  - 1994///
CY  - Wien
PB  - Springer-Verlag
KW  - Geometry
KW  - Data processing
KW  - Automatic theorem proving
N1  - Includes bibliographical references and index
ER  -