Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers - Lecture Notes in Computer Science - Thomas Sturm - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642210457 - 16 de mayo de 2011
En caso de que portada y título no coincidan, el título será el correcto

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 16 de mayo de 2011
ISBN13 9783642210457
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 225
Dimensiones 155 × 235 × 15 mm   ·   362 g
Lengua French  
Editor Sturm, Thomas
Editor Zengler, Christoph

Mostrar todo

Mas por Thomas Sturm