Catalogue > Edited Book > Contribution

Summary

Publication details

Publisher: Springer

Place: Berlin

Year: 2008

Pages: 29-48

ISBN (Hardback): 9788847007833

Full citation:

Andrea Cantini, "On formal proofs", in: Deduction, computation, experiment, Berlin, Springer, 2008

Abstract

what is the use of formal proofs?

Publication details

Publisher: Springer

Place: Berlin

Year: 2008

Pages: 29-48

ISBN (Hardback): 9788847007833

Full citation:

Andrea Cantini, "On formal proofs", in: Deduction, computation, experiment, Berlin, Springer, 2008