Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 1989
Alle Filter entfernen
Zeige Ergebnisse 21 bis 26 von 26.

  1. Andreas Dengel; E. Schweizer

    Rotationswinkelbestimmung in abgetasteten Dokumentbildern

    In: H. Burckard; H. Höhne; B. Neumann (Hrsg.). Mustererkennung 1989 - Proceedings 11. DAGM-Symposium. Annual Symposium of the German Association for Pattern Recognition (DAGM-1989), 11th, October 2-4, Hamburg, Germany, Pages 274-278, Informatik Fachbericht, Vol. 219, ISBN 3-540-51748-0, Springer, 10/1989.

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

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

  4. Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang

    Opening the AC-Unification Race

    In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.

  5. Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

    Deduction Systems in Artificial Intelligence

    Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.

  6. Dieter Hutter

    Complete Induction

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

Jahr