Detlef Fehrer (fehrer)

Contributions to Philosophie.ch

Bibliography

Fehrer, Detlef. 1998. “Developing Deductive Systems: The Toolbox Style.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 149–166. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Graf, Peter and Fehrer, Detlef. 1998. “Term Indexing.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 125–148. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.
Siekmann, Jörg H. and Fehrer, Detlef. 1998. “Introduction (to Part II: Representation).” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 119–124. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.