Publikation

Verwendung von Induktionshypothesen in Induktionsbeweisen

Dieter Hutter

In: U. Furbach, M. Heisel, W. Reif, W. Stephan (Hrsg.). Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, Construction and Synthesis of Programs Karlsruhe Interner Bericht 10/89 Universität Karlsruhe 1986.

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