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 Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 on the basis of type theory.
    109,75 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>