Skip to main content Skip to main navigation

Publikation

Unification Theory

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