Deduction, computation, experiment. Exploring the effectiveness of proof

computation

by: R. Lupacchini · G. Corsi

Copertina flessibile

ISBN: 978-88-470-0783-3

ISBN-10: 88-470-0783-6

Springer Verlag · 2008