Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
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 …
Ansgar Bernardi; Christoph Klauck; Ralf Legleitner
DFKI, DFKI Documents (D), Vol. 90-05, 12/1990.
DFKI, DFKI Documents (D), Vol. 90-04, 9/1990.
DFKI, DFKI Documents (D), Vol. 90-03, 9/1990.
Rainer Bleisinger; Andreas Dengel; Frank Hönes
DFKI-Studie im Auftrag der Deutschen Forschungsanstalt für Luft- und Raumfahrttechnik e.V. (DLR), 1/1990.
Andreas Dengel; N. M. Mattos
DFKI, DFKI Research Reports (RR), Vol. 90-03, 3/1990.
Andreas Dengel
DFKI, DFKI Research Reports (RR), Vol. 90-08, 6/1990.
Andreas Dengel; N. M. Mattos; B. Mitschang
In: Mohan M. Trivedi (Hrsg.). Proceedings SPIE/IEEE - Applications of Artificial Intelligence VIII. IEEE - Applications of Artificial Intelligence, …