Taking the machine seriously. A study of `mechanized mathematics'

Speaker(s) Liesbeth De Mol
Date 2 July 2012
Place Birmingham, UK
Occasion Symposium on mathematical practices and cognition (IACAP/AISB world congress 2012)
Category Invited
Slides PDF icon IACAP_AISB.pdf