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 81 bis 90 von 105
  1. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …

  2. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …

  3. Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …

  4. Synthesizing Induction Orderings for Existence Proofs

    In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …

  5. Melanie Siegel; Dieter Metzing

    Nullpronomina und die Organisation von Wissensquellen für den Transfer Japanisch - Englisch

    Universität Bielefeld, Verbmobil Memo, Vol. 12, 1994.

  6. Melanie Siegel

    Definitheit und Numerus. Anforderungen an den Transfer Japanisch-Englisch

    Universität Bielefeld, Verbmobil-Memo, Vol. 56, 1994.

  7. Thomas Pechmann; Hans Uszkoreit; Johannes Engelkamp; Dieter Zerbst

    Word Order in the German Middle Field: Linguistic Theory and Psycholinguistic Evidence

    Universität des Saarlandes, CLAUS-Report, Vol. 43, 8/1994.

  8. Günter Neumann; Gertjan van Noord

    Reversibility and Self-Monitoring in Natural Language Generation

    In: Tomek Strzalkowski (Hrsg.). Reversible Grammar in Natural Language Processing. Pages 59-96, Kluwer Academic Publishers, Boston, 1994.

  9. Application of Explanation-Based Learning for Efficient Processing of Constraint-Based Grammars

    In: Proceedings of the 10th IEEE Conference on Artificial Intelligence for Applications, March 1-4. IEEE Conference on Artificial Intelligence for …