Employing Computers in 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
okt. 2017
Begivenhed (Konference)
Titel | History and Philosophy of Computing |
---|---|
Forkortet titel | HaPoC |
Dato | 03/10/2017 → 06/10/2017 |
By | Brno |
Land/Område | Tjekkiet |
Grad af anerkendelse | International begivenhed |
ID: 227132491