Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.
Franz Baader; Bernhard Hollunder
DFKI, DFKI Technical Memos (TM), Vol. 90-03, 1990.
Jay Weber
DFKI, DFKI Technical Memos (TM), Vol. 90-02, 1990.
Som Bandyopadhyay
DFKI, DFKI Technical Memos (TM), Vol. 90-01, 1990.
Andreas Becker
DFKI, DFKI Documents (D), Vol. 90-06, 1990.
Georg Seul
DFKI, DFKI Documents (D), Vol. 90-02, 1990.
Technical Staff
DFKI, DFKI Documents (D), Vol. 90-01, 1990.
Dieter Hutter
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …