Monika Seisenberger (seisenberger-m)

Contributions à Philosophie.ch

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.
Berger, Ulrich, Diener, Hannes, Schuster, Peter and Seisenberger, Monika, eds. 2012. Logic, Construction, Computation. Ontos Mathematical Logic n. 3. Heusenstamm b. Frankfurt: Ontos Verlag.