Siirry suoraan sisältöön
Automated Deduction in Geometry
Tallenna

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.
Alaotsikko
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
ISBN
9783642210457
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
16.5.2011
Sivumäärä
225