Robotics Innovation Center

Seite 14 von 14.

1. Dieter Hutter

   Using Resolution and Paramodulation for Induction Proofs

   In: C.-R. Rollinger; W. Horn (Hrsg.). Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86), …

2. Dieter Hutter

   Verwendung von Induktionshypothesen in Induktionsbeweisen

   In: U. Furbach; M. Heisel; W. Reif; W. Stephan (Hrsg.). Workshop: Verification, Construction and Synthesis of Programs. Workshop on Verification, …

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

• vorherige
• 1
• …
• 12
• 13
• 14