Gå direkte til innholdet
Automated Deduction in Geometry
Spar

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.
Undertittel
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers
ISBN
9783642210457
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
16.5.2011
Antall sider
225