Publications

Dieter Hutter

In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

Dieter Hutter

In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

Dieter Hutter

In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

Erica Melis; Axel Schairer

In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …

Andreas Nonnengart; Georg Rock; Christoph Weidenbach

In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …

Georg Rock; Werner Stephan; Andreas Wolpers

In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, …

Andreas Wolpers; Werner Stephan

In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information …

Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

In: Proceedings of 14th European Meeting on Cybernetics ans Systems Research, EMCSR-98. European Meetings on Cybernetics and Systems Research …

Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke

In: Proceedings of 3rd International Conference on Practical Applications of Intelligent Agents and Multiagents, PAAMS-98. International Conference on …

Ansgar Bernardi; Michael Sintek; Andreas Abecker

In: ISOMA-98: Sixth International Symposium on Manufacturing with Applications. International Symposium on Manufacturing with Applications (ISOMA), …