Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1997
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 von 116.

  1. Christoph Kreitz; Heiko Mantel; Jens Otten; Stephan Schmitt

    Connection-Based Proof Construction in Linear Logic

    In: William McCune (Hrsg.). 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), Townsville, Pages 207-221, LNAI 1249, Springer, 7/1997.

  2. Dieter Hutter; Michael Kohlhase

    A Colored Version of the lambda-Calculus

    In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), Townsville, Pages 291-305, Springer-Verlag, LNAI 1249, 1997.

  3. Heiko Mantel; Enno Sandner

    A Framework for Connection Calculi

    1997.

  4. Serge Autexier; Dieter Hutter

    Equational Proof-Planning by Dynamic Abstraction

    In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem Proving (FTP), Linz, Australia, Pages 1-6, RISC-Linz Report Series No. 97-50, 1997.

  5. Hans Uszkoreit

    Sprache ohne Grenzen: Sprache auf dem World Wide Web

    In: Tagungsband der Konferenz "Sprache ohne Grenzen". Konferenz "Sprache ohne Grenzen", München, Germany, Pages 7-14, 1997.

  6. Hans Uszkoreit

    Overview: Formal Tools and Methods

    In: Ronald A. Cole (Hrsg.). Survey of the State of the Art in Human Language Technology. Pages 337-342, Cambridge University Press, Cambridge, 1997.

  7. Volker Strom; Aanja Elsner; Wolfgang Hess; Walter Kasper; Alexandra Klein; Hans-Ulrich Krieger; Jörg Spilker; Hans Weber; Günther Görz

    On the Use of Prosody in a Speech-to-Speech Translator

    In: Proceedings of the 5th Biennial European Conference on Speech Communication and Technology (Eurospeech'97), September 22-25. European Conference on Speech Communication and Technology (EUROSPEECH), Rhodes, Greece, Pages 1479-1482, 1997.

  8. Wojciech Skut; Brigitte Krenn; Thorsten Brants; Hans Uszkoreit

    An Annotation Scheme for Free Word Order Languages

    In: Paul Jacobs (Hrsg.). Proceedings of the 5th Conference on Applied Natural Language Processing (ANLP'97), March 31 - April 3. Applied Natural Language Processing Conference (ANLP), Washington D.C., USA, Morgan Kaufmann Publishers, 1997.

  9. Wojciech Skut; Thorsten Brants; Brigitte Krenn; Hans Uszkoreit

    Annotating Unrestricted German Text

    In: 6. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft (DGfS/CL 97), 8.-10. Oktober. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft (DGfS/CL), Heidelberg, Germany, 1997.

  10. Mark-Jan Nederhof; Giorgio Satta

    A Variant of Earley Parsing

    In: Maurizio Lenzerini (Hrsg.). Advances in Artificial Intelligence. 5th Conference of the Italian Association for Artificial Intelligence (AI*IA 97), September 17-19. Conference of the Italian Association for Artificial Intelligence (AI*IA), Rome, Italy, Pages 84-95, Lecture Notes in Artificial Intelligence, No. 1321, Springer Verlag, 1997.

Jahr