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