|
|
Raymond Aubin (1977): Strategies for mechanizing structural induction
| Title: |
Strategies for mechanizing structural induction |
| Author(s): |
Raymond Aubin |
| Year: |
1977 |
| Booktitle: |
Proc. of the 5th International Joint Conference on Artificial Intelligence |
| Pages: |
363-369 |
Concepts
|
|
