Publikation
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 104-114, Oldenbourg-Verlag, 1987.
@incollection{pub2545, author = { Bürckert, Hans-Jürgen }, editor = { Bläsius, Karl-Hans and Bürckert, Hans-Jürgen }, title = {Unifikationstheorie}, booktitle = {Deduktionssysteme. Automatisierung des logischen Denkens}, edition = {1. Ausgabe}, year = {1987}, pages = {104--114}, publisher = {Oldenbourg-Verlag} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023