Erweiterte Suche

Grid  List

  1. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Herman Geuvers
    Springer, Springer
    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
  2. Intelligent Computer Mathematics Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Herman Geuvers
    Springer, Springer
    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
  3. Logic Colloquium 2006 Logic Colloquium 2006

    Logic Colloquium 2006

    S. Barry Cooper
    Cambridge University Press
    07.09.2009

    The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloq...

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

    Interactive Theorem Proving

    Marko van Eekelen
    Springer, Berlin, 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