Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

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

  1. Michael Malburg; Rainer Bleisinger

    HYPERBIS: ein betriebliches Hypermedia-Informationssystem

    DFKI, DFKI Documents (D), Vol. 89-01, 1989.

  2. Susan Holbach-Weber

    Connectionist Models and Figurative Speech

    DFKI, DFKI Technical Memos (TM), Vol. 89-01, 1989.

  3. Andreas Dengel

    Automatische Visuelle Klassifikation von Dokumenten

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

  4. Hans-Jürgen Bürckert; Manfred Schmidt-Schauß

    On the Solvability of Equational Problems

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

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

  6. 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 Intelligence, Ellis Horwood, 1989.

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

    On Solving Equations and Disequations

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

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

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

    Deduction Systems in Artificial Intelligence

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

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

Jahr