Skip to main content Skip to main navigation


Displaying results 1 to 6 of 8.
  1. Gregor Erbach

    Textverarbeitungsprogramme - heute und morgen

    KMI Bürowirtschaft Lehre und Praxis, Winklers Verlag, Darmstadt, 1986.

  2. Lazy Theory Unification in PROLOG: An Extension of the Warren Abstract Machine

    In: Claus-Rainer Rollinger; Werner Horn (Hrsg.). Proceedings of 10th German Workshop on Artificial Intelligence & 2. Österreichische …

  3. Some relationship Between Unification, Restricted Unification, and Matching

    In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated …

  4. Hans-Jürgen Bürckert; Alexander Herold

    Unifikation. Aktuelles Schlagwort.

    In: Informatik Spektrum, Vol. 9, No. 3, Pages 186-187, Springer, 1986.

  5. Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther

    The Karlsruhe Induction Theorem Proving System

    In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated …