Skip to main content Skip to main navigation

Publications

Displaying results 7 to 10 of 10.
  1. 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 …

  2. Visuelle Erfassung und wissensbasierte Interpretation von Dokumentstrukturen

    Festschrift und Jahresbericht 1988, Fakultät Informatik, Universität Stuttgart , Pages 86-88, 11/1988.

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

  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 …