Due to maintenance work, it is currently not possible to search for publications by author.
Hans-Jürgen Bürckert
In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …
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.
Dieter Hutter
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …
Stephan Busemann
PhD-Thesis, Technische Universität Berlin, Fachbereich Informatik, KIT Report, Vol. 87, No. 87, 1990.
DFKI, DFKI Research Reports (RR), Vol. 90-17, 1990.
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, …
Tania Avgustinova; Karel Oliva
In: Hans Karlgren (Hrsg.). 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics …
Gregor Erbach; Hans Uszkoreit
Universität des Saarlandes, CLAUS-Report, Vol. 1, 1990.