Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers - Lecture Notes in Computer Science - Thomas Sturm - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642210457 - May 16, 2011
In case cover and title do not match, the title is correct

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

Thomas Sturm

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 16, 2011
ISBN13 9783642210457
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 225
Dimensions 155 × 235 × 15 mm   ·   362 g
Language French  
Editor Sturm, Thomas
Editor Zengler, Christoph

Show all

More by Thomas Sturm