Erweiterte Suche

Grid  List

  1. Computer-Aided Reasoning Computer-Aided Reasoning

    Computer-Aided Reasoning

    Matt Kaufmann
    Springer US, Springer US
    30.06.2000

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

    Gebunden
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer-Aided Reasoning Computer-Aided Reasoning

    Computer-Aided Reasoning

    Matt Kaufmann
    Springer US
    08.12.2010

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

    Taschenbuch
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer-Aided Reasoning Computer-Aided Reasoning

    Computer-Aided Reasoning

    Matt Kaufmann
    Springer, Berlin

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 289,75 €

    Jetzt 266,43 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Interactive Theorem Proving Interactive Theorem Proving

    Interactive Theorem Proving

    Matt Kaufmann
    Springer, Berlin, Springer Berlin Heidelberg, Springer

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 112,34 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer-Aided Reasoning Computer-Aided Reasoning

    Computer-Aided Reasoning

    Matt Kaufmann
    Springer, Berlin

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

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 289,75 €

    Jetzt 266,43 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computer-Aided Reasoning: Acl2 Case Studies Computer-Aided Reasoning: Acl2 Case Studies

    Computer-Aided Reasoning: Acl2 Case Studies

    Matt Kaufmann
    Springer International Publishing
    01.06.2000

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

    Gebunden
    338,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1