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 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012.
Undertitel
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Upplaga
2013 ed.
ISBN
9783642406713
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2013-09-12
Sidor
193