Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Ansgar Bernardi; Knut Hinkelmann; Michael Sintek
In: Practical Applications in Knowledge Management, PAKeM'98. Practical Applications in Knowledge Management (PAKeM-98), Blackpool, United Kingdom, …
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 …
Heiko Mantel; Christoph Kreitz
In: J. Dix; L. Farinas del Cerro; U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in …
Heiko Mantel
DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.
Serge Autexier; Heiko Mantel
Vol. SEKI Report SR-98-05, 1998.
Serge Autexier; Heiko Mantel; Werner Stephan
In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …
Dieter Hutter
In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …
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.