Publikation

Guiding Induction Proofs

Dieter Hutter

In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence (LNAI), Vol. 449, Springer-Verlag, 1990.

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