Publikation

Deduktion als Berechnung

Hans-Jürgen Bürckert

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

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