Norbert Eisinger (eisinger)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Eisinger, Norbert, Ohlbach, Hans Jürgen and Präcklein, Axel. 1991. “Reduction Rules for Resolution-Based Systems.” Artificial Intelligence 50(2): 141–181.
Eisinger, Norbert and Olbach, Hans Jürgen. 1993. “Deduction Systems Based on Resolution.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 184–273. Oxford: Oxford University Press.