Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 7 bis 10 von 10
  1. Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang

    Opening the AC-Unification Race

    Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

  2. Andreas Dengel; G. Barth

    High Level Document Analysis Guided by Geometric Aspects

    In: International Journal on Pattern Recognition and Artificial Intelligence (IJPRAI), Vol. 2, No. 4, Pages 641-656, World Scientific Publishing, …

  3. Modellgestützte Segmentierung und Hypothesengenerierung für die Analyse von Papierdokumenten

    In: Mustererkennung 1988 - Proceedings 10. DAGM-Symposium. Annual Symposium of the German Association for Pattern Recognition (DAGM-1988), September …

  4. Hans-Jürgen Bürckert

    Solving Disequations in Equational Theories

    In: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated …