Theorem Proving with the Real Numbers
Edición de la obra Theorem Proving with the Real Numbers
| Autor | Harrison, John |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Dec 07, 2011 |
| Páginas | 200 |
| Formato | paperback |
| ISBN-13 | 9781447115922 |
| ISBN-10 | 1447115929 |
| Número de Cutter | H319t |