Treffer 1 – 7 von 7 für Suche 'Bertot, Yves', Suchdauer: 0,04s 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
    Interactive theorem proving and program development Coq'Art, the calculus of inductive constructions

    Interactive theorem proving and program development Coq'Art, the calculus of inductive constructions von Bertot, Yves, Castéran, Pierre

    Veröffentlicht 2004
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions

    Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions von Bertot, Yves, Castéran, Pierre

    Veröffentlicht 2004
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

    Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs von Bertot, Yves

    Veröffentlicht 2017
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    From semantics to computer science essays in honour of Gilles Kahn

    From semantics to computer science essays in honour of Gilles Kahn von Bertot, Yves

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proof by pointing

    Proof by pointing von Bertot, Yves, Kahn, Gilles, Thry, Laurent

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    From semantics to computer science essays in honour of Gilles Kahn

    From semantics to computer science essays in honour of Gilles Kahn

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


    Gespeichert in:
  7. 7
    15th International Conference on Interactive Theorem Proving ITP 2024, September 9–14, 2024, Tbilisi, Georgia

    15th International Conference on Interactive Theorem Proving ITP 2024, September 9–14, 2024, Tbilisi, Georgia

    Veröffentlicht 2024
    Weitere Verfasser: “… Bertot, Yves …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: