Due to maintenance work, it is currently not possible to search for publications by author.
Gregor Erbach
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.
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.
Dieter Hutter
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …