![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](https://imusic.b-cdn.net/images/item/original/457/9783642210457.jpg?thomas-sturm-2011-automated-deduction-in-geometry-7th-international-workshop-adg-2008-shanghai-china-september-22-24-2008-revised-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1582934751)
Tell your friends about this item:
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
Thomas Sturm
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 |