Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1 bis 6 von 10
  1. Klaus-Dieter Althoff; Norbert Kratz; Michael M. Richter; Peter Spieker

    Planning Systems and Artificial Intelligence

    In: Annals of Operations Research (AOR), Vol. 16, Pages 3-12, J.C. Baltzer A.G. Scientific Publishing Company, 1988.

  2. Klaus-Dieter Althoff; Klaus Nökel; Robert Rehbold; Michael M. Richter

    A Sophisticated Expert System for the Diagnosis of a CNC Machining Center

    In: Zeitschrift für Operations Research (ZOR), Vol. 32, Pages 251-269, Physica, Heidelberg, 1988.

  3. Solving Disequations in Equational Theories

    In: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated …

  4. Andreas Dengel; G. Barth

    High Level Document Analysis Guided by Geometric Aspects

    In: International Journal on Pattern Recognition and Artificial Intelligence (IJPRAI), Vol. 2, No. 4, Pages 641-656, World Scientific Publishing, …

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

  6. Stephan Busemann; Christa Hauenschild

    A Constructive Version of GPSG for Machine Translation

    In: Erich Steiner; Paul Schmidt; Cornelia Zelinsky-Wibbelt (Hrsg.). From Syntax to Semantics. Insights from Machine Translation. Pages 216-238, …