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 31 to 40 of 58.
  1. G. Barth; Andreas Dengel

    Künstliche Intelligenz

    In: Bild der Wissenschaft, Vol. 1/90, Pages 106-110, Konradin Medien GmbH, Leinfelden-Echterdingen, 1990.

  2. Guiding Induction Proofs

    In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …

  3. Rolf Backofen; Lutz Euler; Günther Görz

    Towards the Integration of Functions, Relations and Types in an AI Programming Language

    In: H. Marburger (Hrsg.). 14th German Workshop on Artificial Intelligence. German Workshop on Artifical Intelligence (GWAI), 14th, September 10-14, …

  4. Tania Avgustinova; Karel Oliva

    Syntactic Description of Free Word Order Languages

    In: Hans Karlgren (Hrsg.). 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics …

  5. La grammaire d'unification catégorielle

    In: Philip Miller; T. Torris (Hrsg.). Formalismes syntaxiques pour le traitement automatique du langage naturel. Pages 183-205, Hermes, Paris, 1990.

  6. Extraposition and Adjunct Attachment in Categorial Unification Grammar

    In: Werner Bahner (Hrsg.). Proceedings of the 14th International Congress of Linguists. International Congress of Linguists, 14th, August 10-15, …

  7. 16 Einträge für den Bereich der Unifikationsgrammatiken

    In: H. Bußmann (Hrsg.). Lexikon der Sprachwissenschaft. Kröner, Stuttgart, 1990.

  8. 13 Lexikonartikel für den Bereich der Unifikationsgrammatiken

    In: H. Bußmann (Hrsg.). Lexikon der Sprachwissenschaft. Kröner, Stuttgart, 1990.

  9. Harald Trost

    The Application of Two-Level Morphology to Non-Concatenative German Morphology

    DFKI, DFKI Research Reports (RR), Vol. 90-15, 1990.