Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 105
  1. Gert Smolka

    A Foundation for Higher-order Concurrent Constraint Programming

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

  2. Harald Feibel

    IGLOO 1.0 - Eine grafikunterstützte Beweisentwicklungsumgebung

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

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

  4. Ulrich Buhrmann

    Erstellung einer deklarativen Wissensbasis über recyclingrelevante Materialien

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

  5. Manfred Meyer

    Issues in Concurrent Knowledge Engineering. Knowledge Base and Knowledge Share Evolution

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

  6. Winfried Graf; Stefan Neurohr

    Using Graphical Style and Visibility Constraints for a Meaningful Layout in Visual Programming Interfaces

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

  7. Harold Boley; Ulrich Buhrmann; Christof Kremer

    Towards a Sharable Knowledge Base on Recyclable Plastics

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

  8. Klaus Fischer; Jörg P. Müller; Markus Pischel

    Unifying Control in a Layered Agent Architecture

    DFKI, DFKI Technical Memos (TM), Vol. 94-05, 1994.

  9. Cornelia Fischer

    PAntUDE -- An Anti-Unification Algorithm for Expressing Refined Generalizations

    DFKI, DFKI Technical Memos (TM), Vol. 94-04, 1994.

  10. Victoria Hall

    Uncertainty-Valued Horn Clauses

    DFKI, DFKI Technical Memos (TM), Vol. 94-03, 1994.