Publikation
In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-1994), 12th, June 26 - July 1, Nancy, France, Pages 29-41, Lecture Notes in Artificial Intelligence (LNAI), Vol. 814, Springer, 1994.
@inproceedings{pub1589, author = { Hutter, Dieter }, editor = { Bundy, Alan }, title = {Synthesizing Induction Orderings for Existence Proofs}, booktitle = {Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-1994), 12th, June 26-July 1, Nancy, France}, series = {Lecture Notes in Artificial Intelligence (LNAI)}, year = {1994}, volume = {814}, pages = {29--41}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023