Erweiterte Suche

Grid  List

  1. Intelligent Computer Mathematics Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Serge Autexier
    Springer Berlin Heidelberg
    16.07.2008

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Freek Wiedijk
    Springer Berlin Heidelberg
    28.04.2003

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Hybrid Systems: Computation and Control Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Freek Wiedijk
    Springer Berlin Heidelberg
    18.03.2003

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

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logics and Type Systems in Theory and Practice Logics and Type Systems in Theory and Practice

    Logics and Type Systems in Theory and Practice

    Venanzio Capretta
    Springer International Publishing, Springer Nature Switzerland
    24.05.2024

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

    Taschenbuch
    128,39 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Interactive Theorem Proving Interactive Theorem Proving

    Interactive Theorem Proving

    Marko van Eekelen
    Springer, Berlin, Springer Berlin Heidelberg, Springer

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,19 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. The Seventeen Provers of the World The Seventeen Provers of the World

    The Seventeen Provers of the World

    Freek Wiedijk
    Springer, Berlin, Springer Berlin Heidelberg, Springer

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 69,99 €

    Jetzt 58,84 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1