Gå direkt till innehållet
Automated Deduction in Geometry
Spara

Automated Deduction in Geometry

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008.
Undertitel
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
ISBN
9783642210457
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2011-05-16
Sidor
225