Susan Holbach-Weber
DFKI, DFKI Technical Memos (TM), Vol. 89-01, 1989.
Michael Malburg; Rainer Bleisinger
DFKI, DFKI Documents (D), Vol. 89-01, 1989.
Hans-Jürgen Bürckert
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.
Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.
Dieter Hutter
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, …
Andreas Dengel
PhD-Thesis, Fakultät Informatik, Universität Stuttgart, 2/1989.
In: Proceedings of the SPIE/IEEE Applications of Artificial Intelligence VII. IEEE - Applications of Artificial Intelligence, VII, March 28-30, …
In: Proceedings of the MIV-89. International Workshop on Industrial Applications of Machine Intelligence and Vision (MIV-89), April 10-12, Tokyo, …