Gå direkte til innholdet
Automated Deduction in Geometry
Spar

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.
Undertittel
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Opplag
2013 ed.
ISBN
9783642406713
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
12.9.2013
Antall sider
193