Due to maintenance work, it is currently not possible to search for publications by author.
Gregor Erbach
IBM, IWBS Report, Vol. 131, 1990.
IBM Deutschland GmbH, IWBS Report , Vol. 137, 1990.
IBM Deutschland GmbH, IWBS Report, Vol. 137, 1990.
Hans-Jürgen Bürckert
DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.
Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich
DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.
In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, …
Dieter Hutter
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …
