Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 19 bis 24 von 97
  1. Rolf Backofen; James Rogers; K. Vijay-Shanker

    A First-Order Axiomatization of the Theory of Finite Trees

    DFKI, DFKI Research Reports (RR), Vol. 95-05, 1995.

  2. Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)

    Working Notes of the KI'95 Workshop: KRDB-95 - Reasoning about Structured Objects: Knowledge Representation Meets Databases

    DFKI, DFKI Documents (D), Vol. 95-12, 1995.

  3. Technical Staff

    DFKI Jahresbericht 1994

    DFKI, DFKI Documents (D), Vol. 95-08, 1995.