Erweiterte Suche

Grid  List

  1. Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Yves Bertot
    Springer Berlin Heidelberg
    01.09.1999

    This book contains the proceedings of the 12th International Conference on TheoremProvinginHigher...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Interactive Theorem Proving and Program Development Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Program Development

    Pierre Castéran
    Springer Berlin Heidelberg
    15.12.2010

    Coq is an interactive proof assistant for the development of mathematical theories and formally c...

    Taschenbuch
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. From Semantics to Computer Science From Semantics to Computer Science

    From Semantics to Computer Science

    Yves Bertot
    Cambridge University Press
    24.09.2009

    Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the...

    Gebunden
    179,60 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Interactive Theorem Proving and Program Development Interactive Theorem Proving and Program Development

    Interactive Theorem Proving and Program Development

    Pierre Castéran
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.05.2004

    Coq is an interactive proof assistant for the development of mathematical theories and formally c...

    Gebunden
    117,69 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1