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 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012.
Alaotsikko
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Painos
2013 ed.
ISBN
9783642406713
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
12.9.2013
Sivumäärä
193