Automated Deduction in Geometry
International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
Edición de la obra Automated Deduction in Geometry
| Autor | Dongming Wang |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 24, 1998 |
| Idioma | inglés |
| Páginas | 235 |
| Formato | Paperback |
| ISBN-13 | 9783540642978 |
| ISBN-10 | 3540642978 |
| Número de Cutter | W246a |