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 Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof o...
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Sym...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops att...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 papers written by many of his closest collaborators.
    128,39 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Freek Wiedijk
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops att...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Logics and Type Systems in Theory and Practice
    Logics and Type Systems in Theory and Practice
    Venanzio Capretta
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand
    This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.Herman Geuvers is a full professor at Radb...
    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>