Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science)
Edición de la obra Automated deduction in geometry
| Autor | Hoon Hong, Stefano Spaccapietra, Dongming Wang |
|---|---|
| Editorial | Springer |
| Fecha de publicación | March 16, 2006 |
| Idioma | inglés |
| Páginas | 213 |
| Formato | Paperback |
| ISBN-13 | 9783540313328 |
| ISBN-10 | 354031332X |
| OCLC |