Detailsuche

Grid  List

  1. Intelligent Computer Mathematics
    0 %
    Intelligent Computer Mathematics
    Serge Autexier
    Springer Berlin
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 95,19 €

    Jetzt 95,18 €Ebook
    Alle Preise inkl. MwSt
  2. Interactive Theorem Proving
    0 %
    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...

    Unser bisheriger Preis:ORGPRICE: 56,41 €

    Jetzt 56,40 €Ebook
    Alle Preise inkl. MwSt
  3. Seventeen Provers of the World
    0 %
    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...

    Unser bisheriger Preis:ORGPRICE: 62,32 €

    Jetzt 62,31 €Ebook
    Alle Preise inkl. MwSt
  4. Types for Proofs and Programs
    0 %
    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 ...

    Unser bisheriger Preis:ORGPRICE: 56,04 €

    Jetzt 56,03 €Ebook
    Alle Preise inkl. MwSt
  5. Intelligent Computer Mathematics
    0 %
    Intelligent Computer Mathematics
    Serge Autexier
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Types for Proofs and Programs
    0 %
    Types for Proofs and Programs
    Freek Wiedijk
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. The Seventeen Provers of the World
    0 %
    The Seventeen Provers of the World
    Freek Wiedijk
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 69,99 €

    Jetzt 58,83 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Marko van Eekelen
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 64,19 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1