Publikation Vollständige Induktion Dieter Hutter In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987. BibTeX Export Vollständige Induktion@incollection{pub1580, author = { Hutter, Dieter }, editor = { Bläsius, Karl-Hans and Bürckert, Hans-Jürgen }, title = {Vollständige Induktion}, booktitle = {Deduktionssysteme. Automatisierung des logischen Denkens}, year = {1987}, pages = {153--172}, publisher = {Oldenbourg Verlag} }