Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 7 bis 12 von 26
  1. 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 …

  2. Wary Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    Universität Kaiserslautern, SEKI Report, Vol. SR-89-07, 1989.

  3. Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)

    Extended Abstracts of 3rd International Workshop on Unification

    International Workshop on Unification (UNIF-89), 3rd, June 26-28, Lambrecht, Germany, SEKI Reports, Vol. SR-89-17, Universität Kaiserslautern, 1989.

  4. Automatische Visuelle Klassifikation von Dokumenten

    PhD-Thesis, Fakultät Informatik, Universität Stuttgart, 2/1989.

  5. Rolf Backofen

    Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil II: Attributterme und Relationen

    Mastersthesis, Friedrich-Alexander Universität Erlangen-Nürnberg, 1989.

  6. DFKI - Möglichkeiten und Chancen

    UNI-Spectrum No. 6/89, Universität Kaiserslautern , Pages 5-7, 10/1989.