Repository | Book | Chapter

COPR BookmarkLink
181251

(2008) Deduction, computation, experiment, Dordrecht, Springer.

On formal proofs

Andrea Cantini

pp. 29-48

what is the use of formal proofs?

Publication details

DOI: 10.1007/978-88-470-0784-0_2

Full citation:

Cantini, A. (2008)., On formal proofs, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 29-48.

This document is unfortunately not available for download at the moment.