Publikation
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.
@inproceedings{pub1553, author = { Biundo, Susanne and Hummel, Birgit and Hutter, Dieter and Walther, Christoph }, editor = { Siekmann, Jörg }, title = {The Karlsruhe Induction Theorem Proving System}, booktitle = {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}, series = {Lecture Notes In Computer Science (LNCS)}, year = {1986}, volume = {230}, pages = {672--674}, publisher = {Springer}, isbn = {978-3-540-16780-8} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023