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