Publikation

Extended Abstracts of 3rd International Workshop on Unification

Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

International Workshop on Unification (UNIF-89), 3rd, June 26-28, Lambrecht, Germany, SEKI Reports, Vol. SR-89-17, Universität Kaiserslautern, 1989.

Weitere Links

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