Publikation

Unification Theory

Hans-Jürgen Bürckert

In: Karl-Hans Bläsius , Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Seiten 141-153 Ellis Horwood Series in Artificial Intelligence Ellis Horwood 1989.

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