Grid   List

  1. Selected Papers on Automath
    -0 %

    Selected Papers on Automath

    J.H. Geuvers
    Elsevier Science
    Ebook
    Sofort lieferbar

    The present volume contains a considered choice of the existing literature on Automath. Many of t...

    Unser bisheriger Preis:ORGPRICE: 54,97 €

    Jetzt 54,96 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Logic Colloquium 2006
    -0 %

    Logic Colloquium 2006

    S. Barry Cooper
    Cambridge University Press
    Ebook
    Sofort lieferbar

    The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...

    Unser bisheriger Preis:ORGPRICE: 153,75 €

    Jetzt 153,74 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Type Theory and Formal Proof
    -0 %

    Type Theory and Formal Proof

    Herman Geuvers
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...

    Unser bisheriger Preis:ORGPRICE: 83,92 €

    Jetzt 83,91 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Intelligent Computer Mathematics
    -0 %

    Intelligent Computer Mathematics

    Matthew England
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 10th International Conference on Intelligen...

    Unser bisheriger Preis:ORGPRICE: 56,13 €

    Jetzt 56,12 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Type Theory and Formal Proof
    -0 %

    Type Theory and Formal Proof

    Herman Geuvers
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...

    Unser bisheriger Preis:ORGPRICE: 83,76 €

    Jetzt 83,75 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Interactive Theorem Proving
    -0 %

    Interactive Theorem Proving

    Marko Van Eekelen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the Second International Conference on Interact...

    Unser bisheriger Preis:ORGPRICE: 56,28 €

    Jetzt 56,27 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Types for Proofs and Programs
    -0 %

    Types for Proofs and Programs

    Herman Geuvers
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    These proceedings contain a refereed selection of papers presented at the Second Annual Workshop ...

    Unser bisheriger Preis:ORGPRICE: 56,20 €

    Jetzt 56,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. Type Theory and Formal Proof

    Type Theory and Formal Proof

    Rob Nederpelt
    Cambridge University Press
    Buch
    Print on Demand

    A gentle introduction for graduate students and researchers in the art of formalizing mathematics...

    91,20 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Herman Geuvers
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 10th International Conference on Intelligen...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Interactive Theorem Proving

    Interactive Theorem Proving

    Marko van Eekelen
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the Second International Conference on Interact...

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Type Theory and Formal Proof

    Type Theory and Formal Proof

    Herman Geuvers
    Cambridge University Press
    Ebook
    Nicht lieferbar

    Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics...

    162,11 €
    Alle Preise inkl. MwSt
  12. Logic Colloquium 2006

    Logic Colloquium 2006

    S. Barry Cooper
    Cambridge University Press
    Ebook
    Nicht lieferbar

    The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...

    104,57 €
    Alle Preise inkl. MwSt
  1. 1