Publikation

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 Seiten 672-674 Lecture Notes In Computer Science (LNCS) 230 ISBN 978-3-540-16780-8 Springer London 1986.

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