Publikation

Deduktion als Berechnung

Hans-Jürgen Bürckert

In: Karl-Hans Bläsius , Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatiserung des logischen Denkens.. Seiten 151-178 Oldenbourg 1992.

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