Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers - Lecture Notes in Computer Science - Thomas Sturm - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642210457 - 16. Mai 2011
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers - Lecture Notes in Computer Science

Thomas Sturm

Zu deiner iMusic Wunschliste hinzufügen

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers - Lecture Notes in Computer Science

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.


234 pages, 46 black & white illustrations, 22 colour illustrations, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 16. Mai 2011
ISBN13 9783642210457
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 225
Maße 155 × 235 × 15 mm   ·   362 g
Sprache Französisch  
Redakteur Sturm, Thomas
Redakteur Zengler, Christoph

Alle anzeigen

Weitere Titel von Thomas Sturm