Publikationen

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 …

Jan Alexandersson; Bianka Buschbeck-Wolf; Tsutomu Fujinami; Michael Kipp; Stephan Koch; Elisabeth Maier; Norbert Reithinger; Birte Schmitz; Melanie Siegel

Verbmobil Report, German Research Center for Artificial Intelligence (DFKI), Vol. 226, 1998.

Franciska de Jong; Klaus Netter

In: Djoerd Hiemstra; Franciska de Jong; Klaus Netter (Hrsg.). Proceedings of the 14th Twente Workshop on Language Technology (TWLT 14). Language …

Joanne Capstick; Abdel Kader Diagne; Gregor Erbach; Hans Uszkoreit; Francesco Cagno; Giovanni Gadaleta; Juan A. Hernandez; René Korte; Anne Leisenberg; Manfred Leisenberg; Oliver Christ

In: International Conference on Natural Language Processing and Industrial Applications. International Conference on Natural Language Processing and …

Judith Klein; Sabine Lehmann; Klaus Netter; Tillmann Wegst

In: R. Nübel; U. Seewald-Heeg (Hrsg.). Evaluation of the Linguistic Performance of Machine Translation Systems. Proceedings of the KONVENS '98 …

Tania Avgustinova

In: Beiträge der Europäischen Slavistischen Linguistik (POLYSLAV 1). Pages 19-25, Die Welt der Slaven, 2. Sammelband, Vol. 1, Verlag Otto Sagner, …

Tania Avgustinova; Bistra Andreeva

In: Proceedings of the 1st Conference on Linguistic Theory in Eastern Europaen Languages. Conference on Linguistic Theory in Eastern European …

Tania Avgustinova

In: Balkanistica. Pages 1-17, Vol. 11, Design Systems Printing, 1998.