Books listed by ISBN
>
Springer Verlag
> R. Lupacchini
R. Lupacchini
R. L
ยท
Rossella Lupacchini
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Deduction, computation, experiment. Exploring the effectiveness of proof
978-88-47O-O783-3
(88-47O-O783-6)
2008
G. Corsi
R. Luque