Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Proof Assistants and Their Applications in Mathematics and Computer Science Proof Assistants and Their Applications in Mathematics and Computer Science

    Proof Assistants and Their Applications in Mathematics and Computer Science

    Assia Mahboubi
    Springer International Publishing AG
    12.01.2026

    Proof assistants are computer programs that help users formally describe mathematical statements ...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 81,00 €

    Jetzt 80,24 €
    Vorbestellbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Interactive Theorem Proving Interactive Theorem Proving

    Interactive Theorem Proving

    Stephan Merz
    Springer International Publishing, Springer International Publishing
    07.08.2016

    This book constitutes the refereed proceedings of the 7th International Conference on Interactive...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Tests and Proofs Tests and Proofs

    Tests and Proofs

    Nikolai Kosmatov
    Springer International Publishing, Springer International Publishing
    01.07.2015

    This book constitutes the refereed proceedings of the 9th International Conference on Tests and P...

    Taschenbuch
    51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Reasoning Automated Reasoning

    Automated Reasoning

    Jasmin Blanchette
    Springer International Publishing, Springer Nature Switzerland
    17.07.2022

    This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Con...

    Taschenbuch
    42,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1