Publikation

Vollständige Induktion

Dieter Hutter

In: Karl-Hans Bläsius, Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Seiten 153-172 Oldenbourg Verlag 1987.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence