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 …
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 …
Feiyu Xu
In: Proceedings of the ESSLLI '98 Student Session, August 17-28. European Summer School in Logic, Language and Information (ESSLLI), 1998.
Mastersthesis, Universität des Saarlandes, Department of Computational Linguistics, 1998.
Wojciech Skut; Hans Uszkoreit; Brigitte Krenn; Thorsten Brants
In: Proceedings of the 10th European Summer School in Logic, Language and Information (ESSLLI'98). Workshop on Automated Acquisition of Syntax and …
Wojciech Skut; Hans Uszkoreit; Thorsten Brants; Brigitte Krenn
In: Proceedings of the 10th European Summer School in Logic, Language and Information (ESSLLI'98). Workshop on Recent Advances in Corpus Annotation, …
Marc Schröder
Mastersthesis, Université Stendhal, Sciences du Langage, 1998.
Marc Schröder; Véronique Aubergé; Marie-Agnès Cathiard
In: Proceedings of the 5th International Conference of Spoken Language Processing (ICSLP'98). International Conference on Spoken Language Processing …