Hans Jürgen Olbach (olbach)
Contributions à 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.