Steffen Hölldobler (hoelldobler)

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. .
Hölldobler, Steffen, ed. 2000. Intellectics and Computational Logic, Papers in Honor of Wolfgang Bibel. Dordrecht: Kluwer Academic Publishers.