Publikation

Deduktionssysteme. Automatisierung des logischen Denkens

Karl-Hans Bläsius, Hans-Jürgen Bürckert (Hrsg.)

Oldenbourg-Verlag 1987.

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