Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 105
  1. Josua Boon (Hrsg.)

    DFKI-Publications: The First Four Years 1990 - 1993

    DFKI, DFKI Documents (D), Vol. 94-01, 1994.

  2. Jana Koehler

    Planning from Second Principles---A Logic-based Approach

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

  3. Hubert Comon; Ralf Treinen

    Ordering Constraints on Trees

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

  4. Knut Hinkelmann

    A Consequence Finding Approach for Feature Recognition in CAPP

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

  5. Knut Hinkelmann; Helge Hintze

    Computing Cost Estimates for Proof Strategies

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

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

    Conserving Corporate Knowledge for Crankshaft Design

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

  7. Harold Boley

    Finite Domains and Exclusions as First-Class Citizens

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

  8. Dietmar Dengler

    An Adaptive Deductive Planning System

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

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