Treffer 1 - 8 von 8 für Suche 'Geuvers, Herman', Suchdauer: 0,31s Treffer weiter einschränken
  1. 1
    Types for proofs and programs : international workshop ; selected papers
    Veröffentlicht 2003
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Type theory and formal proof : an introduction
    von Nederpelt, Rob
    Veröffentlicht 2014
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Logics and type systems in theory and practice : essays dedicated to Herman Geuvers on the occasion of hs 60th birthday
    Veröffentlicht 2024
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Types for proofs and programs : International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers
    Veröffentlicht 2003
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Intelligent computer mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings
    Veröffentlicht 2017
    Inhaltstext
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24 - 28, 2002 ; selected papers ; [refereed selection of papers presented at the second annual workshop of the Types Working Group]
    Veröffentlicht 2003
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Logic Colloquium 2006
    Veröffentlicht 2009
    Inhaltstext
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: