The Karlsruhe Induction Theorem Proving System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther. The Karlsruhe Induction Theorem Proving System. In Jörg H. Siekmann, editor, 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Volume 230 of Lecture Notes in Computer Science, pages 672-674, Springer, 1986.

This author has not been identified. Look up 'Susanne Biundo' in GoogleThis author has not been identified. Look up 'B. Hummel' in GoogleThis author has not been identified. Look up 'Dieter Hutter' in GoogleThis author has not been identified. Look up 'Christoph Walther' in Google

runs on WebDSL