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 111 bis 120 von 144
  1. John Nerbonne; Joachim Laubsch; Abdel Kader Diagne; Stephan Oepen

    Natural Language Semantics and Compiler Technology

    DFKI, DFKI Research Reports (RR), Vol. 92-55, 1992.

  2. Klaus Netter; Mike Reape (Hrsg.)

    Clause Structure and Word Order Variation in Germanic

    DYANA Deliverable, Vol. R1.1.B, University of Edinburgh, Edinburgh, 1992.

  3. Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1992.

  4. Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    The Verification Support Environment VSE

    In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, …

  5. Vollständige Induktion

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Oldenbourg Verlag, 1992.

  6. Adapting a Resolution Calculus for Inductive Proofs

    In: Bernd Neumann (Hrsg.). Proceedings of the 10th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …

  7. Judith Engelkamp; Gregor Erbach; Hans Uszkoreit

    Handling Linear Precedence Constraints by Unification

    In: Proceedings of the 30th Annual Meeting of the Association of Computational Linguistics. Annual Meeting of the Association for Computational …

  8. Judith Engelkamp; Gregor Erbach; Hans Uszkoreit

    Handling Linear Precedence Constraints by Unification

    CLAUS-Report, Universität des Saarlandes, Vol. 19, 1/1992.

  9. Stephan Busemann; Hans-Joachim Novak

    Generierung natürlicher Sprache

    Research Report, DFKI, DFKI Research Reports (RR), Vol. 92-50, 1992.