Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 15:03, 18 August 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Norbert Eisinger and Hans Jürgen Ohlbach
    Deduction Systems Based on Resolution
    In: Handbook of Logic in Artificial Intelligence and Logic Programming, 1993, 184-271. Note: Also available as Research Report MPI-I-91-217
  2. Norbert Eisinger, Hans Jürgen Ohlbach, and Axel Präcklein
    Reduction Rules for Resolution Based Systems
    Artificial Intelligence 50: 141-181, 1991
  3. Norbert Eisinger, Andreas Nonnengart, and Axel Präcklein
    Termersetzungssysteme
    In: Deduktionssysteme -- Automatisierung des logischen Denkens, 1992, 126-149. Note: This is the modified and extended version of the corresponding chapter of the first edition of this book.