Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 71 to 80 of 105.

  1. Knut Hinkelmann; Helge Hintze

    Computing Cost Estimates for Proof Strategies

    DFKI, DFKI Research Reports (RR), Vol. 94-10, 1994.

  2. Otto Kühn; Björn Höfling

    Conserving Corporate Knowledge for Crankshaft Design

    DFKI, DFKI Research Reports (RR), Vol. 94-08, 1994.

  3. Harold Boley

    Finite Domains and Exclusions as First-Class Citizens

    DFKI, DFKI Research Reports (RR), Vol. 94-07, 1994.

  4. Dietmar Dengler

    An Adaptive Deductive Planning System

    DFKI, DFKI Research Reports (RR), Vol. 94-06, 1994.

  5. Franz Schmalhofer; J. Stuart Aitken; Lyle E. Bourne jr.

    Beyond the Knowledge Level: Descriptions of Rational Behavior for Sharing and Reuse

    DFKI, DFKI Research Reports (RR), Vol. 94-05, 1994.

  6. Gert Smolka

    A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards

    DFKI, DFKI Research Reports (RR), Vol. 94-03, 1994.

  7. Elisabeth Andre; Thomas Rist

    Von Textgeneratoren zu Intellimedia-Präsentationssystemen

    DFKI, DFKI Research Reports (RR), Vol. 94-02, 1994.

  8. Elisabeth Andre; Thomas Rist

    Multimedia Presentations: The Support of Passive and Active Viewing

    DFKI, DFKI Research Reports (RR), Vol. 94-01, 1994.

  9. Paul Buitelaar; Anne-Marie Mineur

    Coercion and Compositionality in Categorial Grammar

    In: P. Dekker; M. Stokhof (Hrsg.). Proceedings of the 9th Amsterdam Colloquium. Amsterdam Colloquium, December 14-17, Amsterdam, Netherlands, Pages …

  10. Lorna Balkan; Klaus Netter; Doug Arnold; Siety Meijer

    TNSLP - Test Suites for Language Processing

    In: CEC Language Engineering Convention. CEC Language Engineering Convention, July 6-7, Paris, France, Actes du journées du génie linguistique, ISBN …

Year