![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öcker - Springer-Verlag Berlin and Heidelberg Gm - 9783642210457 - 16 maj 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-pocketbok&class=scaled&v=1582934751)
Tipsa dina vänner om produkten:
Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers - Lecture Notes in Computer Science
Thomas Sturm
Lägg till din iMusic-önskelista
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 | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 16 maj 2011 |
ISBN13 | 9783642210457 |
Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
Antal sidor | 225 |
Mått | 155 × 235 × 15 mm · 362 g |
Språk | Franska |
Redaktör | Sturm, Thomas |
Redaktör | Zengler, Christoph |