Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
In: Pierre Lescanne (Hrsg.). Proceedings of 2nd International Conference on Rewriting Techniques and Applications. International Conference on …
Gregor Erbach
Mastersthesis, Johannes-Gutenberg Universität, 1987.
Andreas Dengel; A. Luhn; B. Ueberreiter
In: Proceedings of the 5th SCIA. Scandinavian Conference on Image Analysis (SCIA), Pages 57-64, 6/1987.
Hans-Jürgen Bürckert
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 134-152, Oldenbourg Verlag, 1987.
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 104-114, Oldenbourg-Verlag, 1987.
In: Claude Kirchner (Hrsg.). Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87), March 18-20, …
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.
Universität Kaiserslautern, SEKI Reports, Vol. SR-87-20, 1987.