Grid   List

  1. Computer-Aided Reasoning
    -0 %

    Computer-Aided Reasoning

    Matt Kaufmann
    Springer US
    Ebook
    Sofort lieferbar

    Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system A...

    Unser bisheriger Preis:ORGPRICE: 224,38 €

    Jetzt 224,37 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Computer-Aided Reasoning
    -0 %

    Computer-Aided Reasoning

    Matt Kaufmann
    Springer US
    Ebook
    Sofort lieferbar

    Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It ...

    Unser bisheriger Preis:ORGPRICE: 280,43 €

    Jetzt 280,42 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Interactive Theorem Proving
    -0 %

    Interactive Theorem Proving

    Matt Kaufmann
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 111,83 €

    Jetzt 111,82 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Computer-Aided Reasoning

    Computer-Aided Reasoning

    Matt Kaufmann
    Springer US
    Taschenbuch
    Print on Demand

    Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning...

    309,23 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Interactive Theorem Proving

    Interactive Theorem Proving

    Matt Kaufmann
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the papers presented at ITP 2010: the First International ConferenceonIntera...

    112,34 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1