Skip to main content Skip to main navigation

Publikationen

 

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

Aktive Filter:

Jahr: 1990
Alle Filter entfernen
Zeige Ergebnisse 51 bis 58 von 58

  1. Frank Hönes; Andreas Dengel

    Ein kontext-restriktiver Ansatz zur Texterkennung

    In: Rudolf E. Großkopf (Hrsg.). Mustererkennung 1990 - Proceedings of the 12. DAGM-Symposium. Annual Symposium of the German Association for Pattern …

  2. G. Barth; Andreas Dengel

    Künstliche Intelligenz

    In: Bild der Wissenschaft, Vol. 1/90, Pages 106-110, Konradin Medien GmbH, Leinfelden-Echterdingen, 1990.

  3. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

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

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

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

  6. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

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

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

  7. Ansgar Bernardi; Christoph Klauck; Ralf Legleitner

    Abschlußbericht des Arbeitspaketes PROD

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

  8. Dieter Hutter

    Guiding Induction Proofs

    In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …

Jahr