Treffer 1 – 2 von 2 für Suche 'Castéran, Pierre', Suchdauer: 0,03s 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:

Suchwerkzeuge: