Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
The proof is in the process. A preamble for a philosophy of computer-assisted mathematics Liesbeth De Mol Mechanization tends to emphasize practice rather than theory, deeds rather than words, explicit answers rather tha
Add to Reading List
Document Date: 2013-04-19 05:16:36
Open Document
File Size: 251,78 KB
Share Result on Facebook
UPDATE
The proof is in the process. A preamble for a philosophy of computer-assisted mathematics Liesbeth De Mol Mechanization tends to emphasize practice rather than theory, deeds rather than words, explicit answers rather tha