Rolf Backofen; Lutz Euler; Günther Görz
In: H. Marburger (Hrsg.). 14th German Workshop on Artificial Intelligence. German Workshop on Artifical Intelligence (GWAI), 14th, September 10-14, …
Gregor Erbach
Universität des Saarlandes, CLAUS-Report, Vol. 3, 9/1990.
In: P. Jorrand; V. Sgurev (Hrsg.). Artificial Intelligence IV - Methodology, Systems, and Applications. Artificial Intelligence: Methodology, Systems, …
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, …
Hans-Jürgen Bürckert
In: Claude Kirchner (Hrsg.). Unification. Pages 125-138, Academic Press, 1990.
Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.
In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …
Dieter Hutter
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …
