Profisuche

freek wiedijk

Grid   List

  1. Interactive Theorem Proving

    Interactive Theorem Proving

    Marko Van Eekelen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the Second International Conference on Interact...

    53,49 €
    Alle Preise inkl. MwSt
  2. The Seventeen Provers of the World

    The Seventeen Provers of the World

    Freek Wiedijk
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a compu...

    58,84 €
    Alle Preise inkl. MwSt
  3. Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Serge Autexier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the joint refereed proceedings of the 9th International Conference on Artif...

    53,49 €
    Alle Preise inkl. MwSt
  4. Types for Proofs and Programs

    Types for Proofs and Programs

    Herman Geuvers
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    These proceedings contain a refereed selection of papers presented at the Second Annual Workshop ...

    53,49 €
    Alle Preise inkl. MwSt
  5. Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Freek Wiedijk
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...

    96,29 €
    Alle Preise inkl. MwSt
  6. Logics and Type Systems in Theory and Practice

    Logics and Type Systems in Theory and Practice

    Venanzio Capretta
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains pape...

    128,39 €
    Alle Preise inkl. MwSt
  7. Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Serge Autexier
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book constitutes the joint refereed proceedings of the 9th International Conference on Artif...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Types for Proofs and Programs

    Types for Proofs and Programs

    Freek Wiedijk
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    These proceedings contain a refereed selection of papers presented at the Second Annual Workshop ...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Freek Wiedijk
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
  10. Logics and Type Systems in Theory and Practice

    Logics and Type Systems in Theory and Practice

    Venanzio Capretta
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

    This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains p...

    139,09 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1