Publikation

Terminologische Logik

Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt

In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 92, No. 3, Pages 23-33, Springer, 1992.

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