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
Decision Complexity in Dynamic Geometry
Ulrich Kortenkamp, Jürgen Richter-Gebert
Journal Title: aAutomated Deduction in Geometry
Date: 2000
For further information about this item go to:
http://link.springer.de/link/service/series/0558/bibs/2061/20610193.htm
This data comes from
DBLP
This page is maintained by
Angela Cornwell
and
Thomas Krichel
.
It was last updated on 2006-04-12