Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Dieter Hutter
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …
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, …
IBM, IWBS Report, Vol. 131, 1990.
IBM Deutschland GmbH, IWBS Report , Vol. 137, 1990.
IBM Deutschland GmbH, IWBS Report, Vol. 137, 1990.
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.
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.