Detailsuche

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: 229,74 €

    Jetzt 229,73 €Ebook
    Alle Preise inkl. MwSt
  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: 288,27 €

    Jetzt 288,26 €Ebook
    Alle Preise inkl. MwSt
  3. Interactive Theorem Proving
    0 %
    Interactive Theorem Proving
    Matt Kaufmann
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 114,12 €

    Jetzt 114,11 €Ebook
    Alle Preise inkl. MwSt
  4. Computer-Aided Reasoning
    0 %
    Computer-Aided Reasoning
    Matt Kaufmann
    Springer US
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 309,23 €

    Jetzt 213,97 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer-Aided Reasoning
    0 %
    Computer-Aided Reasoning
    Matt Kaufmann
    Springer US, Springer US
    Buch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 309,23 €

    Jetzt 213,97 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computer-Aided Reasoning
    0 %
    Computer-Aided Reasoning
    Matt Kaufmann
    Springer, Berlin
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 266,43 €

    Jetzt 266,40 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Interactive Theorem Proving
    0 %
    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...

    Unser bisheriger Preis:ORGPRICE: 112,34 €

    Jetzt 106,98 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Computer-Aided Reasoning: Acl2 Case Studies
    0 %
    Computer-Aided Reasoning: Acl2 Case Studies
    Matt Kaufmann
    Springer London
    Buch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 342,50 €

    Jetzt 342,47 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Computer-Aided Reasoning
    0 %
    Computer-Aided Reasoning
    Matt Kaufmann
    Springer, Berlin
    Buch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 266,43 €

    Jetzt 266,40 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1