Erweiterte Suche

Grid  List

  1. Rewriting Techniques and Applications Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Robert Nieuwenhuis
    Springer Berlin Heidelberg
    27.05.2003

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Deduction - CADE-20 Automated Deduction - CADE-20

    Automated Deduction - CADE-20

    Robert Nieuwenhuis
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.07.2005

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Andrei Voronkov
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    21.11.2001

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

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1