Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1990
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 58

  1. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Formalismus zur Repräsentation von Geometrie- und Technologieinformationen als Teil eines Wissensbasierten Produktmodells

    DFKI, DFKI Documents (D), Vol. 90-05, 12/1990.

  2. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    STEP: Überblick über eine zukünftige Schnittstelle zum Produktdatenaustausch

    DFKI, DFKI Documents (D), Vol. 90-04, 9/1990.

  3. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Abschlußbericht des Arbeitspaketes PROD

    DFKI, DFKI Documents (D), Vol. 90-03, 9/1990.

  4. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

    In: Claude Kirchner (Hrsg.). Unification. Pages 125-138, Academic Press, 1990.

  5. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.

  6. Rainer Bleisinger; Andreas Dengel; Frank Hönes

    Softwaresysteme zur interaktiven Wissensverwaltung

    DFKI-Studie im Auftrag der Deutschen Forschungsanstalt für Luft- und Raumfahrttechnik e.V. (DLR), 1/1990.

  7. Andreas Dengel; N. M. Mattos

    Integration of Document Representation, Processing and Management

    DFKI, DFKI Research Reports (RR), Vol. 90-03, 3/1990.

  8. Andreas Dengel

    A Step Towards Understanding Paper Documents

    DFKI, DFKI Research Reports (RR), Vol. 90-08, 6/1990.

  9. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

    DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.

  10. Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann

    Concept Logics

    Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.

Jahr