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 Seiten 29-41 Lecture Notes in Artificial Intelligence (LNAI) 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