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 | IACAP_AISB.pdf |