Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)
    Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... Notes in Computer Science, Band 10895)
    Jeremy Avigad
    Springer
    Taschenbuch
    Verfügbar: 1
    Sofort lieferbar
    Gebraucht

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

    33,40 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Interactive Theorem Proving
    Interactive Theorem Proving
    Assia Mahboubi
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 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
    Buch
    Vorbestellbar

    Erstverkaufstag: 01.01.2027

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

    81,50 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1