Skip to main content Skip to main navigation

Publications

Displaying results 51 to 58 of 58.
  1. N. M. Mattos; B. Mitschang; Andreas Dengel; Rainer Bleisinger

    An Approach to integrated Office Document Processing and Management

    In: Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office Information Systems. International Conference on Office Automation Systems …

  2. Document Image Analysis: Expectation-Driven Text Recognition

    In: Proceedings SSPR90. International Workshop on Structural and Syntactic Pattern Recognition (SSPR-90), June 13-15, Murray Hill, NJ, USA, Pages …

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

  4. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

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

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

  6. Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich

    Terminological Knowledge Representation: A Proposal for a Terminological Logic

    DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.

  7. G. Barth; Andreas Dengel

    Künstliche Intelligenz

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

  8. Guiding Induction Proofs

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