Publication

Unifikationstheorie

Hans-Jürgen Bürckert

In: Karl-Hans Bläsius , Hans-Jürgen Bürckert (editor). Deduktionssysteme. Automatisierung des logischen Denkens.. Pages 112-125 Oldenbourg 1992.

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