Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 91 to 100 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; Ludger van Elst

    Entwicklung von Expertensystemen: Prototypen, Tiefenmodellierung und kooperative Wissensevolution

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

  5. Franz Schmalhofer

    Maschinelles Lernen: Eine kognitionswissenschaftliche Betrachtung

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

  6. Markus Steffens

    Wissenserhebung und Analyse zum Entwicklungsprozeß eines Druckbehälters aus Faserverbundstoff

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

  7. Josua Boon (Hrsg.)

    DFKI-Publications: The First Four Years 1990 - 1993

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

  8. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  9. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

    In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

  10. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …

Year