Erweiterte Suche

Grid  List

  1. Type Theory and Formal Proof Type Theory and Formal Proof

    Type Theory and Formal Proof

    Rob Nederpelt
    Cambridge University Press
    14.03.2016

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

    Gebunden
    95,10 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Freek Wiedijk
    Springer Berlin Heidelberg
    28.04.2003

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Intelligent Computer Mathematics Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Herman Geuvers
    Springer International Publishing, Springer International Publishing
    29.06.2017

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logic Colloquium 2006 Logic Colloquium 2006

    Logic Colloquium 2006

    S Barry Cooper
    Cambridge University Press
    07.09.2009

    The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also...

    Gebunden
    157,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Interactive Theorem Proving Interactive Theorem Proving

    Interactive Theorem Proving

    Marko van Eekelen
    Springer, Berlin, Springer Berlin Heidelberg, Springer

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,19 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1