Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 19 bis 24 von 26
  1. A Cut-based Procedure for Document-Layout Modelling and Automatic Document Analysis

    In: Proceedings of the SPIE/IEEE Applications of Artificial Intelligence VII. IEEE - Applications of Artificial Intelligence, VII, March 28-30, …

  2. Hans-Jürgen Bürckert

    Compuational Logic

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 177-202, Ellis Horwood, 1989.

  3. Hans-Jürgen Bürckert

    Unification Theory

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial …

  4. Complete Induction

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, …

  5. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

    In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 523-536, Elsevier, 1989.

  6. Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.