Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 80.
  1. Dieter Hutter; David McAllister; Christoph Walther

    Workshop on Automation of Proofs by Mathematical Induction

    13th Conference on Automated Deduction, New Brunswick, USA, 1996.

  2. Dieter Hutter; Claus Sengler

    INKA: The Next Generation

    In: Michael A. McRobbie; John K. Slaney (Hrsg.). Proceedings of the 13th International Conference on Automated Deduction - CADE-13. International Conference on Automated Deduction (CADE), 13th, July 30 - August 3, New Brunswick, NJ, USA, Pages 288-292, Lecture Notes in Computer Science (LNCS), Vol. 1104, ISBN 978-3-540-61511-8, Springer-Verlag, Berlin, Heidelberg, 1996.

  3. Dieter Hutter; Claus Sengler

    The Graphical User Interface of INKA

    In: Nicholas A. Merriam (Hrsg.). Proceedings International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-96), July 19, York, United Kingdom, Pages 43-50, N. Merriam, 1996.

  4. Using Rippling for Equational Reasoning

    In: S. Hölldobler (Hrsg.). Proceedings 20th German Annual Conference on Artificial Intelligence KI-96. German Conference on Artificial Intelligence (KI-96), September 17-19, Dresden, Germany, Pages 121-134, Lecture Notes in Artificial Intelligence (LNAI), Vol. 1137, Springer, 1996.

  5. Sabine Lehmann; Dominique Estival; Stephan Oepen

    TSNLP - Des jeux de phrases-test pour l'évaluation d'application dans le domaine du TALN

    In: Proceedings of the 3rd International Conference on HPSG and Traitement Automatique du Langage Naturel. International Conference on HPSG and Traitement Automatique du Langage Naturel (TALN-96), May 22-24, Marseille, France, 1996.

  6. Walter Kasper; Hans-Ulrich Krieger; Jörg Spilker; Hans Weber

    From Word Hypotheses to Logical Form: An Efficient Interleaved Approach

    In: Dafydd Gibbon (Hrsg.). Proceedings of the Natural Language Processing and Speech Technology: Results of the 3rd KONVENS Conference, October 7-9. Konferenz zur Verarbeitung natürlicher Sprache (KONVENS), Bielefeld, Germany, Pages 77-88, Mouton de Gruyter, 1996.

  7. Walter Kasper; Hans-Ulrich Krieger; Jörg Spilker; Hans Weber

    From Word Hypotheses to Logical Form: An Efficient Interleaved Approach

    Verbmobil-Report, DFKI, Vol. 142, 1996.

  8. Walter Kasper; Hans-Ulrich Krieger

    Modularizing Codescriptive Grammars for Efficient Parsing

    Verbmobil-Report, DFKI, Vol. 140, 1996.

  9. Walter Kasper; Hans-Ulrich Krieger

    Modularizing Codescriptive Grammars for Efficient Parsing

    In: Proceedings of the 16th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-95), August 5-9, Copenhagen, Denmark, Pages 628-633, 1996.

  10. Walter Kasper; Hans-Ulrich Krieger

    Integration of Prosodic and Grammatical Information in the Analysis of Dialogs

    Verbmobil-Report, DFKI, Vol. 141, 1996.