Profisuche

herman geuvers

Grid   List

  1. Interactive Theorem Proving

    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...

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

    Intelligent Computer Mathematics

    Herman Geuvers
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

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

    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 ...

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

    Type Theory and Formal Proof

    Rob Nederpelt
    Cambridge University Press
    Buch
    Bezug 11-15

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

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

    Types for Proofs and Programs

    Freek Wiedijk
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

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

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

    Intelligent Computer Mathematics

    Herman Geuvers
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1