Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 13 bis 18 von 97
  1. Klaus Fischer; Jörg P. Müller; Markus Pischel

    Cooperative Transportation Scheduling an application Domain for DAI

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

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

  3. Joachim Niehren

    Functional Computation as Concurrent Computation

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

  4. Werner Stephan; Susanne Biundo

    Deduction-based Refinement Planning

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

  5. Walter Hower; Winfried Graf

    Research in Constraint-Based Layout, Visualization, CAD, and Related Topics: A Bibliographical Survey

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

  6. Anne Kilger; Wolfgang Finkler

    Incremental Generation for Real-Time Applications

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