Hans Jürgen Olbach (olbach)
Contributions to Philosophie.ch
No contributions yet
Bibliography
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.