Publikation

Using Rippling for Equational Reasoning

Dieter Hutter

In: S. Hölldobler (Hrsg.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence (KI-96), September 17-19, Dresden, Germany, Pages 121-134, Lecture Notes in Artificial Intelligence (LNAI), Vol. 1137, Springer, 1996.

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

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