Dieter Hutter
In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …
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 …
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 …
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, …
Stephan Baumann; Jürgen Lichter; Michael Malburg; Heiko Maus; Harald Meyer auf'm Hofe; Claudia Wenzel
DFKI, DFKI Documents (D), Vol. 98-01, 1998.
Stefan Agne; Hans-Günther Hein
In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document Recognition V. DDR Document Recognition and Retrieval (DDR), San Jose, Pages 160-168, …
Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek
In: IEEE Intelligent Systems, Vol. 13, No. 3, Pages 40-48, IEEE Computer Society, 5/1998.
DFKI GmbH, DFKI Documents (D), Vol. 98-02, 2/1998.