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 SR-89-17 Universität Kaiserslautern 1989.

Weitere Links

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