TY  - BOOK
AU  - Wang,Dongming
TI  - Automated deduction in geometry
T2  - Lecture notes in artificial intelligence,No-1360
SN  - 3540642978
U1  - 006.3 WAN 
PY  - 1997///
CY  - Berlin
PB  - Springer
N1  - Includes bibliographical references
ER  -