Peter H. Schmidt (schmidt-peh)

Beiträge zu Philosophie.ch

Bibliography

Bibel, Wolfgang and Schmidt, Peter H., eds. 1998a. Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.
Bibel, Wolfgang and Schmidt, Peter H., eds. 1998b. Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Bibel, Wolfgang and Schmidt, Peter H., eds. 1998c. Automated Deduction: A Basis for Applications. Volume III, Applications. Applied Logic Series n. 10. Dordrecht: Kluwer Academic Publishers.
Brewka, Gerhard, Jantke, Klaus P. and Schmidt, Peter H., eds. 1993. Nonmonotonic and Inductive Logics: Proceedings of the Second International Workshop, Reinhardsbrunn Castle, Germany, December 2–6, 1991. Berlin: Springer.
Dix, Jürgen, Jantke, Klaus P. and Schmidt, Peter H., eds. 1991. Nonmonotonic and Inductive Logics. Berlin: Springer.