Treffer 1 – 5 von 5 für Suche 'Geuvers, Herman 1964-', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Type theory and formal proof an introduction

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

    Veröffentlicht 2014
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2017
    Weitere Verfasser: “… Geuvers, Herman 1964- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

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

    Veröffentlicht 2019
    Weitere Verfasser: “… Geuvers, Herman 1964- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 2017
    Weitere Verfasser: “… Geuvers, Herman 1964- …”
    Tagungsbericht Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2018
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: