Educational Technology Lab

Seite 4 von 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 …

• vorherige
• 1
• …
• 2
• 3
• 4