1.
Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, Sep...
by Sturm, Thomas, Zengler, Chr...
ISBN: 9783642210457
List Price: $72.00
2.
Automated Deduction in Geometry
by Sturm, Thomas, Zengler, Chr...
ISBN: 9783642210471
List Price: $24.99