The Digital Librarian's Digital Library
search
D
O
CIS
Do
cuments in
C
omputing and
I
nformation
S
cience
Home
>>
Journals and Conference Proceedings
>>
aAutomated Deduction in Geometry
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction
XueFeng Chen, DingKang Wang
Journal Title: aAutomated Deduction in Geometry
Date: 2002
For further information about this item go to:
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2930&spage=21
This data comes from
DBLP
This page is maintained by
Angela Cornwell
and
Thomas Krichel
.
It was last updated on 2006-04-12