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

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

  6. Andreas Dengel; G. Barth

    Document Description and Analysis by Cuts

    In: Proceedings RIAO'88: User-Oriented Content-Based Text and Image Handling. International Conference on Computer-Assisted Information Retrieval …