Publication

Deduktion als Berechnung

Hans-Jürgen Bürckert

In: Karl-Hans Bläsius, Hans-Jürgen Bürckert (editor). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 134-152 Oldenbourg Verlag 1987.

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