Deduction, computation, experiment. Exploring the effectiveness of proof
| Titolo | Deduction, computation, experiment. Exploring the effectiveness of proof |
| Curatori | Rossella Lupacchini, Giovanna Corsi |
| Editore | Springer Verlag |
| Formato |
Libro: Libro in brossura |
| Lingua | inglese |
| Pagine | 292 |
| Pubblicazione | 08/2008 |
| ISBN | 9788847007833 |