Deduction, computation, experiment. Exploring the effectiveness of proof

Riferimento: 9788847007833

Editore: Springer Verlag
In commercio dal: 2008
Pagine: 292 p., Libro in brossura
EAN: 9788847007833

114,39 €