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 |