Repository | People

125745

References

Rossella Lupacchini

Edited Books

X

with Corsi Giovanna (eds) (2008). Deduction, computation, experiment: exploring the effectiveness of proof. Dordrecht: Springer.