*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Higher-Order Algebra, Logic, and Term Rewriting
    Higher-Order Algebra, Logic, and Term Rewriting
    Gilles Dowek
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Rewriting and Typed Lambda Calculi
    Rewriting and Typed Lambda Calculi
    Gilles Dowek
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    Yves Bertot
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Principles of Programming Languages
    Principles of Programming Languages
    Gilles Dowek
    Springer London, Springer
    Taschenbuch
    BOD - 2 Tage

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

    37,66 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automated Reasoning
    Automated Reasoning
    Alessandro Armando
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computation, Proof, Machine
    Computation, Proof, Machine
    Gilles Dowek
    Cambridge University Press
    Buch
    BOD - 7 Tage

    Computation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathe...

    135,77 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1