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
Automated Geometry Diagram Construction and Engineering Geometry
Xiao-Shan Gao
Journal Title: aAutomated Deduction in Geometry
Date: 1998
For further information about this item go to:
http://link.springer.de/link/service/series/0558/bibs/1669/16690232.htm
This data comes from
DBLP
This page is maintained by
Angela Cornwell
and
Thomas Krichel
.
It was last updated on 2006-04-12