Automated Deduction in Geometry
8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers
Edición de la obra Automated Deduction in Geometry
| Autor | Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| ISBN-13 | 9783642250705 |
| Número de Cutter | S377a |