Hans-Jürgen Bürckert
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial …
Wary Buntine; Hans-Jürgen Bürckert
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.
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.
In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 523-536, Elsevier, 1989.
Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß
In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.
Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang
In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.
Rolf Backofen
Mastersthesis, Friedrich-Alexander Universität Erlangen-Nürnberg, 1989.
Walter Kasper
In: G. Falkenberg (Hrsg.). Wissen, Wahrnehmen, Glauben. Epistemische Ausdrücke und propositionale Einstellungen. Pages 97-121, Niemeyer, Tübingen, …
Ronald M. Kaplan; Klaus Netter; Jürgen Wedekind; Annie Zaenen
In: 4th Conference of the European Chapter of the Association for Computational Linguistics. Conference of the European Chapter of the Association for …
