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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783642210457 - 16. mai 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Thomas Sturm

Legg til iMusic ønskeliste

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 16. mai 2011
ISBN13 9783642210457
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 225
Mål 155 × 235 × 15 mm   ·   362 g
Språk Fransk  
Redaktør Sturm, Thomas
Redaktør Zengler, Christoph

Vis alle

Mer med Thomas Sturm