Henrik Kragh Sørensen

Henrik Kragh Sørensen

Professor

Medlem af:

    ORCID: 0000-0002-7495-4697
    51 - 52 ud af 52Pr. side: 10
    Sortering: Titel

    1. What the practice of research mathematicians can teach automated theorem proving

      Sørensen, Henrik Kragh (Andet)

      apr. 2017

      Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag

    2. “Lost in translation”: Gaining access to past mathematical practice

      Sørensen, Henrik Kragh (Foredragsholder)

      nov. 2016

      Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag

    Forrige 12 3 4 5 6 Næste

    ID: 164255954