Publication

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, Vol. 10/89, Universität Karlsruhe, 1986.

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