Symbolic Computation and Automated Reasoning
The Calculemus-2000 Symposium
Edición de la obra Symbolic Computation and Automated Reasoning
| Autor | Michael Kohlhase |
|---|---|
| Editorial | AK Peters |
| Fecha de publicación | February 15, 2001 |
| Idioma | inglés |
| Páginas | 272 |
| Formato | Hardcover |
| ISBN-13 | 9781568811451 |
| ISBN-10 | 1568811454 |
| Número de Cutter | K79s |