Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants
Activity: Talk or presentation types › Lecture and oral contribution
Henrik Kragh Sørensen - Other
- Department of Science Education
- History and Philosophy of Science
Jun 2017
Event (Conference)
Title | International Association for Computing and Philosophy |
---|---|
Abbreviated title | IACAP |
Date | 26/06/2017 → 28/06/2017 |
Location | Stanford University |
Country/Territory | United States |
Degree of recognition | International event |
ID: 183770279