Grid   List

  1. Interactive Theorem Proving

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
  2. Intelligent Computer Mathematics

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
  3. Types for Proofs and Programs

    Ebook
    Sofort lieferbar

    These proceedings contain a refereed selection ...

    53,49 €
    Alle Preise inkl. MwSt
  4. Type Theory and Formal Proof

    Buch
    Print on Demand

    A gentle introduction for graduate students and...

    124,85 €
    Alle Preise inkl. MwSt | zzgl. Versand
  5. Types for Proofs and Programs

    Taschenbuch
    Print on Demand

    These proceedings contain a refereed selection ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  6. Intelligent Computer Mathematics

    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  7. Logic Colloquium 2006

    Buch
    Besorgungstitel - wird vorgemerkt

    The 2006 proceedings from the Annual European M...

    210,64 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  1. 1
Google Plus
Powered by Inooga