Skip to main content Skip to main navigation

Publication

Deduktionssysteme. Automatisierung des logischen Denkens

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