Publikation

Structuring Deduction by Using Abstractions

Dieter Hutter

In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on Abstraction, Reformulation, and Approximation (SARA) Asimolar, Pacific Grove CA United States Seiten 72-78 1998.

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

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