Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 97
  1. 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.

  2. 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.

  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. Stephan Oepen; Klaus Netter

    TSNLP - Test Suites for Natural Language Processing

    In: Proceedings of the Conference on Linguistic Databases, March 23-24. Conference on Linguistic Databases, Groningen, The Netherlands, 1995.

  6. Hans-Jürgen Bürckert; Bernhard Nebel

    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    In: Journal of the ACM (JACM), Vol. 42, No. 1, Pages 43-66, 1995.

  7. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

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

  8. 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 …

  9. Dieter Hutter; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated …

  10. Using Colored Terms Everywhere

    In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.