Holger Benl (benl)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Benl, Holger, Berger, Ulrich, Schwichtenberg, Helmut, Seisenberger, Monika and Zuber, Wolfgang. 1998. “Proof Theory at Work: Program Development in the Minlog System.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 41–72. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.