Detailsuche

Grid  List

  1. Rewriting Techniques and Applications
    0 %
    Rewriting Techniques and Applications
    Robert Nieuwenhuis
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applica...

    Unser bisheriger Preis:ORGPRICE: 56,20 €

    Jetzt 56,19 €Ebook
    Alle Preise inkl. MwSt
  2. Logic for Programming, Artificial Intelligence, and Reasoning
    0 %
    Logic for Programming, Artificial Intelligence, and Reasoning
    Robert Nieuwenhuis
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the papers presented at the Eighth International C- ference on Logic for Pro...

    Unser bisheriger Preis:ORGPRICE: 112,11 €

    Jetzt 112,10 €Ebook
    Alle Preise inkl. MwSt
  3. Automated Deduction - CADE-20
    0 %
    Automated Deduction - CADE-20
    Robert Nieuwenhuis
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 56,36 €

    Jetzt 56,35 €Ebook
    Alle Preise inkl. MwSt
  4. Logic for Programming, Artificial Intelligence, and Reasoning
    0 %
    Logic for Programming, Artificial Intelligence, and Reasoning
    Andrei Voronkov
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the papers presented at the Eighth International C- ference on Logic for Pro...

    Unser bisheriger Preis:ORGPRICE: 106,99 €

    Jetzt 106,98 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automated Deduction ¿ CADE-20
    0 %
    Automated Deduction ¿ CADE-20
    Robert Nieuwenhuis
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Rewriting Techniques and Applications
    0 %
    Rewriting Techniques and Applications
    Robert Nieuwenhuis
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The refereed proceedings of the 14th International Conference on Rewriting Techniques and Appl...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1