|
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
|
|