Publication Vollständige Induktion Dieter Hutter In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Oldenbourg Verlag, 1992. http://www.dfki.de/vse/papers/hutter92.ps.gz (gz, 56 KB ) BibTeX Export Vollständige Induktion@incollection{pub1585, author = { Hutter, Dieter }, editor = { Bläsius, Karl-Hans and Bürckert, Hans-Jürgen }, title = {Vollständige Induktion}, booktitle = {Deduktionssysteme. Automatisierung des logischen Denkens}, edition = {2nd completely revised edition}, year = {1992}, publisher = {Oldenbourg Verlag} }