Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 58.
  1. Andreas Becker

    The Window Tool Kit

    DFKI, DFKI Documents (D), Vol. 90-06, 1990.

  2. Georg Seul

    Logisches Programmieren mit Feature - Typen

    DFKI, DFKI Documents (D), Vol. 90-02, 1990.

  3. Technical Staff

    DFKI Wissenschaftlich-Technischer Jahresbericht 1989

    DFKI, DFKI Documents (D), Vol. 90-01, 1990.

  4. 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.

  5. 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.

  6. Harold Boley

    Declarative Operations on Nets

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

  7. Elisabeth Andre; Thomas Rist

    Towards a Plan-Based Synthesis of Illustrated Documents

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

  8. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

    Concept Logics

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