Automated Deduction in Geometry Lecture Notes in Artificial Intelligence
Edición de la obra Automated Deduction in Geometry Lecture Notes in Artificial Intelligence
| Autor | Pascal Schreck |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2012 |
| ISBN-13 | 9783642250699 |
| Número de Cutter | S377a |