Employing Computers in 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
6 Aug 2019
Event (Conference)
| Title | 16th International Congress on Logic, Methodology and Philosophy of Science and Technology |
|---|---|
| Abbreviated title | CLMPST |
| Date | 05/08/2019 → 11/08/2019 |
| City | Prag |
| Country/Territory | Czech Republic |
| Degree of recognition | International event |
ID: 227131107