Mikkel Willum Johansen

Mikkel Willum Johansen

Lektor

Medlem af:

  • Videnskabsteori og videnskabshistorie

ORCID: 0000-0003-0454-2678

Udgivelsesår:
Alle
1 - 1 ud af 1Pr. side: 10
Sortering: Udgivelsesdato
  1. 2022
  2. Udgivet

    Epistemic Roles of Diagrams in Short Proofs

    Sørensen, Henrik Kragh & Johansen, Mikkel Willum, 2022, Diagrammatic Representation and Inference. Springer, s. 235–242 8 s. (Lecture Notes in Computer Science, Bind 13462).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

ID: 545659