Erweiterte Suche

Grid  List

  1. Logic Programming and Automated Reasoning Logic Programming and Automated Reasoning

    Logic Programming and Automated Reasoning

    Harald Ganzinger
    Springer Berlin Heidelberg
    25.08.1999

    This volume contains the papers presented at the Sixth International Conference on Logic for Prog...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Informatik Informatik

    Informatik

    Harald Ganzinger
    Vieweg+Teubner Verlag
    01.02.1992

    Dieser Band erscheint aus Anlafi des sechzigsten Geburtstags von Gunter Hotz. Er enthiilt Arbeite...

    Taschenbuch
    49,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. ESOP ’88 ESOP ’88

    ESOP ’88

    Harald Ganzinger
    Springer Berlin Heidelberg
    09.03.1988

    The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 198...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Rewriting Techniques and Applications Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    Harald Ganzinger
    Springer Berlin Heidelberg
    01.07.1996

    This book constitutes the refereed proceedings of the 7th International Conference on Rewriting T...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Programs as Data Objects Programs as Data Objects

    Programs as Data Objects

    Neil Jones
    Springer Berlin Heidelberg
    01.03.1986

    Strictness analysis and polymorphic invariance.- Convergent term rewriting systems can be used fo...

    Taschenbuch
    37,44 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automated Deduction - CADE-16 Automated Deduction - CADE-16

    Automated Deduction - CADE-16

    Harald Ganzinger
    Springer Berlin Heidelberg
    23.06.1999

    This volume contains the papers presented at the Sixteenth International Conference on Automated ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1