Adel Bouhoula and Michael Rusinowitch (1993): Automatic Case Analysis in Proof by Induction


Title: Automatic Case Analysis in Proof by Induction
Author(s): Adel Bouhoula and Michael Rusinowitch
Year: 1993
Booktitle: Proceedings of the 13th International Joint Conference on Artificial Intelligence
Editor(s): Ruzena Bajcsy
Volume: 1
Pages: 88-94
Publisher: Morgan Kaufmann
Address: San Mateo, CA

Concepts