Publication

The Karlsruhe Induction Theorem Proving System

Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther

In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08), July 27 - August 1, Oxford, United Kingdom, Pages 672-674, Lecture Notes In Computer Science (LNCS), Vol. 230, ISBN 978-3-540-16780-8, Springer, London, 1986.

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