Automated Deduction in Geometry
Edición de la obra Automated Deduction in Geometry
| Autor | Franz Winkler |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2005 |
| Lugar | Berlin, London |
| Idioma | inglés |
| Formato | [electronic resource] |
| ISBN-13 | 9783540246169 |
| ISBN-10 | 3540246169 |
| OCLC | 243490886 |
| Serie | Lecture Notes in Artificial Intelligence -- 2930 · Lecture notes in computer science -- 2930. |
| Número de Cutter | W775a |