Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 41.
  1. Harold Boley; Ulrich Buhrmann; Christof Kremer

    Towards a Sharable Knowledge Base on Recyclable Plastics

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

  2. Jana Koehler

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

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

  3. Harald Feibel

    IGLOO 1.0 - Eine grafikunterstützte Beweisentwicklungsumgebung

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

  4. Claudia Wenzel; Rainer Hoch

    Eine Übersicht über Information Retrieval (IR) und NLP-Verfahren zur Klassifikation von Texten

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

  5. Ulrich Buhrmann

    Erstellung einer deklarativen Wissensbasis über recyclingrelevante Materialien

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

  6. Hubert Comon; Ralf Treinen

    Ordering Constraints on Trees

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

  7. Knut Hinkelmann

    A Consequence Finding Approach for Feature Recognition in CAPP

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

  8. Knut Hinkelmann; Helge Hintze

    Computing Cost Estimates for Proof Strategies

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

  9. Franz Schmalhofer

    Maschinelles Lernen: Eine kognitionswissenschaftliche Betrachtung

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