Gerd Neugebauer (neugebauer-g)

Contributions to Philosophie.ch

Bibliography

Bibel, Wolfgang, Hölldobler, Steffen and Neugebauer, Gerd. 1993. Deduction: Automated Logic. New York: Academic Press. Translated by Monika Lekuse with the assistance of Donald Sannella. .
Neugebauer, Gerd and Petermann, Ulrike. 1998. “Specifications of Inference Rules: Extensions of the PTTP Technique.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 167–188. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.