Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1990
Remove all filters
Displaying results 41 to 50 of 58.

  1. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

    In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …

  2. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Formalismus zur Repräsentation von Geometrie- und Technologieinformationen als Teil eines Wissensbasierten Produktmodells

    DFKI, DFKI Documents (D), Vol. 90-05, 12/1990.

  3. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    STEP: Überblick über eine zukünftige Schnittstelle zum Produktdatenaustausch

    DFKI, DFKI Documents (D), Vol. 90-04, 9/1990.

  4. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Abschlußbericht des Arbeitspaketes PROD

    DFKI, DFKI Documents (D), Vol. 90-03, 9/1990.

  5. Stephan Busemann

    Generalisierte Phasenstrukturgrammatiken und ihre Verwendung zur maschinellen Sprachverarbeitung

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

  6. Franz Baader; Werner Nutt

    Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification

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

  7. Franz Schmalhofer; Otto Kühn; Gabriele Schmidt

    Integrated Knowledge Acquisition from Text, Previously Solved Cases, and Expert Memories

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

  8. Franz Baader

    Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles

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

  9. Harold Boley

    Declarative Operations on Nets

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

  10. Elisabeth Andre; Thomas Rist

    Towards a Plan-Based Synthesis of Illustrated Documents

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

Year