Publication

Extended Abstracts of 3rd International Workshop on Unification

Hans-Jürgen Bürckert, Werner Nutt (editor)

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

Weitere Links

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