Automated Deduction in Geometry
4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers (Lecture Notes in Computer Science)
Edición de la obra Automated Deduction in Geometry
| Autor | Franz Winkler |
|---|---|
| Editorial | Springer |
| Fecha de publicación | March 19, 2004 |
| Idioma | inglés |
| Páginas | 231 |
| Formato | Paperback |
| ISBN-13 | 9783540209270 |
| ISBN-10 | 3540209271 |
| Número de Cutter | W775a |