Suchergebnisse - Cockx, Jesper

  • Treffer 1 – 1 von 1
Treffer filtern
  1. 1
    Buchumschlag

    27th International Conference on Types for Proofs and Programs: TYPES 2021, June 14–18, 2021, Leiden, The Netherlands (Virtual Conference)

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Cockx, Jesper …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: