Wissen, was kommt.
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

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

    Gebunden
    96,60 €
    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, 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 Nature Switzerland, 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. 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