Publications

Gregor Erbach

Universität des Saarlandes, CLAUS-Report, Vol. 3, 9/1990.

Gregor Erbach

In: P. Jorrand; V. Sgurev (Hrsg.). Artificial Intelligence IV - Methodology, Systems, and Applications. Artificial Intelligence: Methodology, Systems, and Applications (AIMSA), September 19-22, Albena, Bulgaria, Pages 371-382, ISBN 0-444-88771-7, North-Holland Publishing Company, 1990.

Gregor Erbach

IBM, IWBS Report, Vol. 131, 1990.

Gregor Erbach

IBM Deutschland GmbH, IWBS Report , Vol. 137, 1990.

Gregor Erbach

IBM Deutschland GmbH, IWBS Report, Vol. 137, 1990.

Hans-Jürgen Bürckert

In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany, Pages 178-192, Lecture Notes in Artificial Intelligence (LNAI), Vol. 449, Springer, Berlin - Heidelberg, 1990.

Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

DFKI, DFKI Documents (D), Vol. 90-05, 12/1990.

Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

DFKI, DFKI Documents (D), Vol. 90-04, 9/1990.

Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

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.