Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 91 bis 100 von 105
  1. 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.

  2. Manfred Meyer

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

    DFKI, DFKI Research Reports (RR), Vol. 94-36, 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. 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: …

  7. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …

  8. Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …