Publikationen

Dieter Hutter

In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-1994), 12th, June 26 - July 1, Nancy, France, Pages 29-41, Lecture Notes in Artificial Intelligence (LNAI), Vol. 814, Springer, 1994.

Hans-Ulrich Krieger; Ulrich Schäfer

DFKI, DFKI Documents (D), Vol. 94-14, 1994.

Hans-Ulrich Krieger; Ulrich Schäfer

DFKI, DFKI Research Reports (RR), Vol. 94-37, 1994.

Hans-Ulrich Krieger; Ulrich Schäfer

In: ACL (Hrsg.). Proceedings of the15th International Conference on Computational Linguistics (COLING '94). International Conference on Computational Linguistics (COLING-94), 15th, August 5-9, Kyoto, Japan, Pages 893-899, Vol. 2, 1994.

Hans-Ulrich Krieger

DFKI, DFKI Research Reports (RR), Vol. 94-39, 1994.

Hans-Ulrich Krieger

In: Christopher J. Rupp; Michael A. Rosner; Roderick Johnson (Hrsg.). Constraints, Language and Computation. Pages 277-313, Academic Press, London, 1994.

Walter Kasper; Kurt Eberle

In: Rolf Thieroff; Joachim Ballweg (Hrsg.). Tense Systems in European Languages. Pages 149-171, Niemeyer, Tübingen, 1994.

Walter Kasper

In: Elisabeth Maier (Hrsg.). Dialogmodellierung in VERBMOBIL - Festlegung der Sprechhandlungen für den Demonstrator. VM-Memo, Vol. 31, DFKI, Saarbrücken, 7/1994.

Elizabeth Hinkelman; Stephen P. Spackman

In: Proceedings of the 15th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-94), 15th, August 5-9, Kyoto, Japan, Pages 1191-1197, Vol. 2, ACM, 1994.

Gregor Erbach; Mark van der Kraan; Suresh Manandhar; M. Andrew Moshier; Herbert Ruessink; Craig Thiersch (Hrsg.)

Edinburgh, Saarbrücken, Tilburg, Utrecht, 1994.