Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 41 bis 50 von 97
  1. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

    Technical Report, Vol. SR-95-08, 1995.

  2. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic …

  3. Melanie Siegel

    Problems of Automatic Translation of Japanese Dialogues into German

    In: W. von Hahn; S. Jekat; I. Maleck (Hrsg.). Machine Translation and Machine Interpretation. Proceedings of the VERBMOBIL Workshop at the University …

  4. Ulrich Schäfer

    Parameterized Type Expansion in the Feature Structure Formalism TDL

    Mastersthesis, Universität des Saarlandes, 1995.

  5. 33rd Annual Meeting of the Association for Computational Linguistics (ACL-ANNUAL '95). Proceedings of the Conference

    Annual Meeting of the Association for Computational Linguistics (ACL), ACL, Cambridge, USA, 1995.

  6. 33rd Annual Meeting of the Association for Computational Linguistics (ACL-ANNUAL'95), June 26-30. Proceedings of the Conference

    Annual Meeting of the Association for Computational Linguistics (ACL), ACL, Cambridge, USA, 1995.

  7. Stephan Busemann; Hans-Joachim Novak

    Generierung natürlicher Sprache

    In: Günther Görz (Hrsg.). Einführung in die Künstliche Intelligenz. Pages 492-540, Addison-Wesley, Bonn, 1995.

  8. Towards Classification of Generation Subtasks

    In: Wolfgang Hoeppner; Helmut Horacek (Hrsg.). Principles of Natural Language Generation. Papers from a Dagstuhl-Seminar. Dagstuhl Seminare/Workshops, …

  9. Johan Bos; Anne-Marie Mineur; Paul Buitelaar

    Bridging as Coercive Accomodation

    CLAUS-Report, Universität des Saarlandes, Vol. 52, 3/1995.