Bokus

Harald Ganzinger

Visar alla böcker från författaren Harald Ganzinger. Handla med fri frakt och snabb leverans.

  1. Informatik

    Informatik

    2013

  2. Logic Programming and Automated Reasoning

    Logic Programming and Automated Reasoning

    2007

  3. Automated Deduction - CADE-16

    Automated Deduction - CADE-16

    2003

  4. Programs as Data Objects

    Programs as Data Objects

    1986

  5. ESOP '88

    ESOP '88

    1988

  6. Rewriting Techniques and Applications

    Rewriting Techniques and Applications

    1996

  7. Informatik

    Informatik

    1992