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 | Feb 23, 2012 |
| Páginas | 272 |
| Formato | paperback |
| ISBN-13 | 9783642250712 |
| ISBN-10 | 3642250718 |
| Número de Cutter | S377a |