Grid  List

  1. 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. 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: 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. 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: 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. 01.06.2000

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

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