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. Mathematical Logic and Computation
    Mathematical Logic and Computation
    Jeremy Avigad
    Cambridge University Press
    Buch
    BOD - 7 Tage

    This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundame...

    111,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1