Due to maintenance work, it is currently not possible to search for publications by author.
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.
Hans-Jürgen Bürckert; Manfred Schmidt-Schauß
Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.
Hans-Jürgen Bürckert
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 177-202, Ellis Horwood, 1989.
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial …
Dieter Hutter
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, …