Publikation
In: Karl-Hans Bläsius, Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Seiten 153-172 Oldenbourg Verlag 1987.
@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} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022