Suchergebnisse - Geuvers, Herman 1964-

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

    Type theory and formal proof: an introduction
    von Nederpelt, R. P.

    Veröffentlicht 2014
    Weitere beteiligte Personen: “… Geuvers, Herman 1964- …”
    Online lesen
    E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Type theory and formal proof: an introduction
    von Nederpelt, Rob 1942-, Geuvers, Herman 1964-

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    4th International Conference on Formal Structures for Computation and Deduction: FSCD 2019, June 24–30, 2019, Dortmund, Germany

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Geuvers, Herman 1964- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    22nd International Conference on Types for Proofs and Programs: TYPES 2016, May 23–26, 2016, Novi Sad, Serbia

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Geuvers, Herman 1964- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Intelligent computer mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Geuvers, Herman 1964- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Intelligent computer mathematics: 10th international conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Geuvers, Herman 1964- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: