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
6 aug. 2019
Begivenhed (Konference)
Titel | 16th International Congress on Logic, Methodology and Philosophy of Science and Technology |
---|---|
Forkortet titel | CLMPST |
Dato | 05/08/2019 → 11/08/2019 |
By | Prag |
Land/Område | Tjekkiet |
Grad af anerkendelse | International begivenhed |
ID: 227131107