Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Gregor Erbach
Mastersthesis, Johannes-Gutenberg Universität, 1987.
Dieter Hutter
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987.
Hans-Jürgen Bürckert
Universität Kaiserslautern, SEKI Working Papers, Vol. SWP-87-07, 1987.
Universität Kaiserslautern, SEKI Reports, Vol. SR-87-08, 1987.
Universität Kaiserslautern, SEKI Reports, Vol. SR-87-15, 1987.
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Oldenbourg-Verlag, 1987.