Henrik Kragh Sørensen
Professor
ORCID: 0000-0002-7495-4697
1 - 1 out of 1Page size: 10
- 2022
- Published
Epistemic Roles of Diagrams in Short Proofs
Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, p. 235–242 8 p. (Lecture Notes in Computer Science, Vol. 13462).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 164255954
Most downloads
-
152
downloads
Adapting practice-based philosophy of science to teaching of science students
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
13
downloads
What is an experiment in mathematical practice? New evidence from mining the Mathematical Reviews
Research output: Contribution to journal › Journal article › Research › peer-review
Published