
The computer modelling of mathematical reasoning
Edición de la obra The computer modelling of mathematical reasoning
| Autor | Alan Bundy |
|---|---|
| Editorial | Academic Press |
| Fecha de publicación | 1983 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 322 |
| ISBN-10 | 0121412520, 0121412504 |
| OCLC | 10333779 |
| LCCN | 82072881 |
| Número de Cutter | B942c |