Automated Deduction in Geometry
7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers
Edición de la obra Automated Deduction in Geometry
| Autor | Thomas Sturm |
|---|---|
| Editorial | Springer Berlin Heidelberg, Springer |
| Fecha de publicación | 2011 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Páginas | 234 |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642210457, 9783642210464 |
| Serie | Lecture Notes in Computer Science -- 6301 |
| Número de Cutter | S936a |