Henrik Kragh Sørensen
Professor
ORCID: 0000-0002-7495-4697
51 - 52 ud af 52Pr. side: 10
Sortering: Type
- Foredrag og mundtlige bidrag
What the practice of research mathematicians can teach automated theorem proving
Sørensen, Henrik Kragh (Andet)
apr. 2017Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
“Lost in translation”: Gaining access to past mathematical practice
Sørensen, Henrik Kragh (Foredragsholder)
nov. 2016Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
ID: 164255954
Flest downloads
-
142
downloads
Adapting practice-based philosophy of science to teaching of science students
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet