Publication

Unifikation. Aktuelles Schlagwort.

Hans-Jürgen Bürckert, Alexander Herold

In: Informatik-Spektrum 9 3 Pages 186-187 Springer 1986.

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