Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants
Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
Henrik Kragh Sørensen - Andet
- Institut for Naturfagenes Didaktik
- Videnskabsteori og videnskabshistorie
jun. 2017
Begivenhed (Konference)
| Titel | International Association for Computing and Philosophy |
|---|---|
| Forkortet titel | IACAP |
| Dato | 26/06/2017 → 28/06/2017 |
| Afholdelsessted | Stanford University |
| Land/Område | USA |
| Grad af anerkendelse | International begivenhed |
ID: 183770279