Mechanical Theorem Proving in Geometries
Edición de la obra Mechanical Theorem Proving in Geometries
| Autor | Wen-tsun Wu, X. Jin, D. Wang |
|---|---|
| Editorial | Island Press |
| Fecha de publicación | 1994 |
| Idioma | inglés |
| ISBN-13 | 9783709166406 |
| Número de Cutter | W959m |
Edición de la obra Mechanical Theorem Proving in Geometries
| Autor | Wen-tsun Wu, X. Jin, D. Wang |
|---|---|
| Editorial | Island Press |
| Fecha de publicación | 1994 |
| Idioma | inglés |
| ISBN-13 | 9783709166406 |
| Número de Cutter | W959m |