Skip to main content Skip to main navigation

Publications

Page 4 of 4.

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

  2. Hans-Jürgen Bürckert

    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 …