Publication

Deduktionssysteme. Automatisierung des logischen Denkens

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

Oldenbourg-Verlag, 1987.

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