Seite 9 von 11.
Hans-Jürgen Bürckert; Manfred Schmidt-Schauß
Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.
Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
International Workshop on Unification (UNIF-89), 3rd, June 26-28, Lambrecht, Germany, SEKI Reports, Vol. SR-89-17, Universität Kaiserslautern, 1989.
Wary Buntine; Hans-Jürgen Bürckert
Hans-Jürgen Bürckert
In: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated …
Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang
Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.
Dieter Hutter
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 153-172, Oldenbourg Verlag, 1987.
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Oldenbourg-Verlag, 1987.
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 …
Université de Nancy, Rapport Interne, Vol. 87 R 34, 1987.
Hans-Jürgen Bürckert; Andreas Künkler
Skriptum, Universität Kaiserslautern, Skriptum, Vol. WS 1986/87, 1987.