Skip to main content Skip to main navigation



Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 11 to 20 of 105.
  1. Harald Feibel

    IGLOO 1.0 - Eine grafikunterstützte Beweisentwicklungsumgebung

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

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

  3. Ulrich Buhrmann

    Erstellung einer deklarativen Wissensbasis über recyclingrelevante Materialien

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

  4. Franz Schmalhofer

    Maschinelles Lernen: Eine kognitionswissenschaftliche Betrachtung

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

  5. Josua Boon (Hrsg.)

    DFKI-Publications: The First Four Years 1990 - 1993

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

  6. Rolf Backofen

    A Complete Axiomatization of a Theory with Feature and Arity Constraints

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

  7. Franz Baader; Armin Laux

    Terminological Logics with Modal Operators

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

  8. Otto Kühn; Volker Becker; Georg Lohse; Philipp Neumann

    Integrated Knowledge Utilization and Evolution for the Conservation of Corporate Know-How

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