*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Concrete Semantics
    Concrete Semantics
    Gerwin Klein
    Springer International Publishing, Springer International Publishing
    Buch
    Sofort lieferbar

    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It ...

    80,18 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Rewriting Techniques and Applications
    Rewriting Techniques and Applications
    Tobias Nipkow
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Term Rewriting and All That
    Term Rewriting and All That
    Tobias Nipkow
    Cambridge University Press
    Taschenbuch
    Print on Demand

    Unified and self-contained introduction to term-rewriting; suited for students or professionals.

    81,11 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Isabelle/HOL
    Isabelle/HOL
    Tobias Nipkow
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...

    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Higher-Order Algebra, Logic, and Term Rewriting
    Higher-Order Algebra, Logic, and Term Rewriting
    Jan Heering
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the final revised versions of the best papers presented at the First Interna...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Concrete Semantics
    Concrete Semantics
    Gerwin Klein
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    Part I of this book is a practical introduction to working with the Isabelle proof assistant. It ...

    52,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Stefan Berghofer
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Pr...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Types for Proofs and Programs
    Types for Proofs and Programs
    Tobias Nipkow
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains thoroughly refereed and revised full papers selected from the presentations ...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Automated Reasoning
    Automated Reasoning
    Rajeev Gore
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    associated workshops and produced their own separate proceedings.

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1