Deduction, Computation, Experiment
Exploring the Effectiveness of Proof
Edición de la obra Deduction, Computation, Experiment
| Autor | Rossella Lupacchini, Giovanna Corsi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9788847007840 |
| Número de Cutter | L965d |