Publikation
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.
@inproceedings{pub1591, author = { Hutter, Dieter }, editor = { Hölldobler, S. }, title = {Using Rippling for Equational Reasoning}, booktitle = {Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence (KI-96), September 17-19, Dresden, Germany}, series = {Lecture Notes in Artificial Intelligence (LNAI)}, year = {1996}, volume = {1137}, pages = {121--134}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023