Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 61 to 70 of 101.
  1. Electronic Fault Recording: A Corporate Memory for Maintenance Support of Complex Machines

    In: Jos F. Schreinemakers; Jean-Paul Barthès (Hrsg.). Knowledge Management: enterprise, network, and learning. International Symposium on Management …

  2. Axel Schairer

    Using Standard Tools to Create Lexers and Parsers for textscCasl

    CoFI Tools Note T-7, 4/1999.

  3. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …

  4. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

  5. Hui Xu

    English-Style and Chinese-Style Topic: A Uniform Semantic Analysis

    In: 13th Pacific Asia Conference on Language, Information and Computation (PACLIC 13), February 10-12. Pacific Asia Conference on Language, …

  6. Wojciech Skut; Hans Uszkoreit; Thorsten Brants

    Syntactic Annotation of a German Newspaper Corpus

    In: ATALA sur le Corpus Annotés pour la Syntaxe Treebanks, June 18-19. Les journées d'Etude de l'ATALA, Pages 69-76, 1999.

  7. Marc Schröder

    Zur Machbarkeit von Synthese emotionaler Sprache ohne Modellierung der Stimmqualität

    In: Elektronische Sprachsignalverarbeitung. Pages 222-229, 1999.