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) 92 3 Seiten 23-33 Springer 1992.

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