Publikation

Synthesizing Induction Orderings for Existence Proofs

Dieter Hutter

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.

http://www.dfki.de/vse/papers/hutter94b.ps.gz (gz, 56 KB )

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