Publikation
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.
@inproceedings{pub1583, author = { Hutter, Dieter }, editor = { Stickel, M. }, title = {Guiding Induction Proofs}, booktitle = {Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany}, series = {Lecture Notes in Artificial Intelligence (LNAI)}, year = {1990}, volume = {449}, publisher = {Springer-Verlag} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023