Treffer 1 - 8 von 8 für Suche 'Bertot, Yves', Suchdauer: 0,60s Treffer weiter einschränken
  1. 1
    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
    DE-19
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    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
    DE-706
    URL des Eerstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Proof by pointing

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    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: “… Bertot, Yves …”
    Volltext
    E-Book

    Zu den Favoriten
    Gespeichert in:
  7. 7
    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:
    DE-12
    DE-92
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    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 …”
    kostenfrei
    Volltext
    kostenfrei
    kostenfrei
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: