Publication
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Oldenbourg-Verlag, 1987.
@book{pub1832, editor = { Bläsius, Karl-Hans and Bürckert, Hans-Jürgen }, title = {Deduktionssysteme. Automatisierung des logischen Denkens}, edition = {1. Auflage}, year = {1987}, publisher = {Oldenbourg-Verlag} }
© DFKI, 2023