Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 58.
  1. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification?

    In: Claude Kirchner (Hrsg.). Unification. Pages 125-138, Academic Press, 1990.

  2. Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.

  3. Hans-Jürgen Bürckert

    A Resolution Principle for Clauses with Constraints

    In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), 10th, July 24-27, Kaiserslautern, Germany, Pages 178-192, Lecture Notes in Artificial Intelligence (LNAI), Vol. 449, Springer, Berlin - Heidelberg, 1990.

  4. Rolf Backofen; Lutz Euler; Günther Görz

    Towards the Integration of Functions, Relations and Types in an AI Programming Language

    In: H. Marburger (Hrsg.). 14th German Workshop on Artificial Intelligence. German Workshop on Artifical Intelligence (GWAI), 14th, September 10-14, Eringerfeld, Germany, Pages 297-306, Informatik-Fachberichte, Vol. 251, Springer, 1990.

  5. Tania Avgustinova; Karel Oliva

    Syntactic Description of Free Word Order Languages

    In: Hans Karlgren (Hrsg.). 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-90), 13th, August 20-25, Helsinki, Finland, Pages 311-313, Vol. 3, ISBN 9529020279, 9789529020270, Helsinki University, 1990.

  6. Winfried Graf; Hans-Ulrich Krieger

    Bedeutung multimodaler Benutzerschnittstellen am Beispiel eines Expertensystems in der MRI-Diagnostik

    In: G. Giani; R. Repges (Hrsg.). Biometrie und Informatik - Neue Wege zur Erkenntnisgewinnung in der Medizin. 34. Jahrestagung der GMDS. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie (GDMS-89), 34. September 18-20, Aachen, Germany, Pages 257-260, Medizinische Informatik, Biometrie und Epidemiologie, Vol. 71, ISBN 978-3540525509, Springer, 1990.

  7. Günter Neumann; Wolfgang Finkler

    A Head-Driven Approach to Incremental and Parallel Generation of Syntactic Structures

    Universität des Saarlandes, CLAUS-Report, Vol. 2, 8/1990.

  8. Günter Neumann; Wolfgang Finkler

    A Head-Driven Approach to Incremental and Parallel Generation of Syntactic Structures

    In: Hans Karlgren (Hrsg.). Proceedings of the 13th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-90), 13th, August 19-25, Helsinki, Finland, Pages 288-293, Vol. 2, University of Helsinki, 1990.

  9. Gregor Erbach

    Syntactic Processing of Unknown Words

    Universität des Saarlandes, CLAUS-Report, Vol. 3, 9/1990.

  10. Gregor Erbach

    Syntactic Processing of Unknown Words

    In: P. Jorrand; V. Sgurev (Hrsg.). Artificial Intelligence IV - Methodology, Systems, and Applications. Artificial Intelligence: Methodology, Systems, and Applications (AIMSA), September 19-22, Albena, Bulgaria, Pages 371-382, ISBN 0-444-88771-7, North-Holland Publishing Company, 1990.