Deduction, computation, experiment. Exploring the effectiveness of proof
- Autore/i.................: Lupacchini R. (cur.); Corsi G. (cur.)
- Anno Edizione......: 2008
- EAN.........................: 9788847007833
- Editore....................: Springer Verlag
- Pagine.....................: 292
114,39 €
Tasse incluse