Unification Theory

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Unification Theory

Franz BaaderFranz Baader
Unification Theory


Franz Baader
Unification Theory
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-33, 1992. {DFKI} Research Report
@techreport{ DFKI-RR-92-33,
  author = {F. {Baader}},
  institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
  number = {{RR}-92-33},
  title = {Unification Theory},
  type = {{DFKI} Research Report},
  year = {1992},
}