*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Computation, Proof, Machine
    Computation, Proof, Machine
    Gilles Dowek
    Cambridge University Press
    Buch
    Print on Demand

    To understand the future of mathematics, this fascinating book returns to its past, tracing the h...

    154,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Higher-Order Algebra, Logic, and Term Rewriting
    Higher-Order Algebra, Logic, and Term Rewriting
    Gilles Dowek
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book presents a collection of revised refereed papers selected from the presentations accept...

    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Rewriting and Typed Lambda Calculi
    Rewriting and Typed Lambda Calculi
    Gilles Dowek
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewr...

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Yves Bertot
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book contains the proceedings of the 12th International Conference on TheoremProvinginHigher...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Principles of Programming Languages
    Principles of Programming Languages
    Gilles Dowek
    Springer London
    Taschenbuch
    Print on Demand

    By introducing the principles of programming languages, using the Java language as a support, Gil...

    35,07 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automated Reasoning
    Automated Reasoning
    Alessandro Armando
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 4th International Joint Conference on Autom...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1