Publication

Deduktionssysteme. Automatisierung des logischen Denkens

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

Oldenbourg-Verlag 1987.

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