Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Edición de la obra Automated deduction in geometry
| Autor | Hoon Hong, Dongming Wang |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| ISBN-13 | 9783540313632 |
| Número de Cutter | H772a |