Publikation
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.
@incollection{pub2379, author = { Bürckert, Hans-Jürgen }, editor = { Bläsius, Karl-Hans and Bürckert, Hans-Jürgen }, title = {Unification Theory}, booktitle = {Deduction Systems in Artificial Intelligence}, series = {Ellis Horwood Series in Artificial Intelligence}, year = {1989}, pages = {141--153}, publisher = {Ellis Horwood}, note = {Translation} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023