Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Oldenbourg-Verlag, 1992.
Dieter Hutter
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Oldenbourg Verlag, 1992.
In: Bernd Neumann (Hrsg.). Proceedings of the 10th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …
Interner Bericht, 1992.