Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1996
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 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. Dieter Hutter

    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. Christoph Weidenbach; Bernd Gaede; Georg Rock

    SPASS & FLOTTER, Version 0.42

    In: M. McRobbie; J. Slaney (Hrsg.). 13th International Conference on Automated Deduction, CADE--13. International Conference on Automated Deduction (CADE), 13th, July 30-3, New Brunswick, NJ, USA, Pages 141-145, Lecture Notes in Artificial Intelligence (LNAI), Vol. 1104, Springer, 1996.

  6. Werner Stephan; Susanne Biundo

    Deduction-Based Refinement Planning

    In: Brian Drabble (Hrsg.). Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. International Conference on Artificial Intelligence Planning Systems (AIPS-96), 3rd, May 20-31, Edinburgh, United Kingdom, Pages 213-220, AAAI-Press, 1996.

  7. Jochen Dörre; Gregor Erbach; Suresh Manandhar; Wojciech Skut; Hans Uszkoreit

    A Report on the Draft EAGLES Encoding Standard for HPSG

    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, Pages 161-168, 1996.

  8. Thierry Declerck; Paul Schmidt; Sibylle Rieder; Axel Theofilidis

    Lean Formalism, Linguistic Theory, and Applications. Grammar Development in ALEP

    In: Proceedings of the 16th International Conference on Computational Linguistics (COLING'96), August 5-9. International Conference on Computational Linguistics (COLING), Copenhagen, Danmark, Pages 286-291, 1996.

  9. Thierry Declerck

    Modeling Information-Passing within the LFG-Workbench

    In: Proceedings of the 1st Annual Lexical-Functional Grammar Conference. International Lexical Functional Grammar Conference (LFG), Grenoble, France, 1996.

  10. Thierry Declerck

    Dealing with Cross-Sentential Anaphora Resolution in ALEP

    In: Proceedings of the 16th International Conference on Computational Linguistics (COLING'96), August 5-9. International Conference on Computational Linguistics (COLING), Copenhagen, Danmark, Pages 280-285, Vol. 1, 1996.

Jahr