|
|
Plaisted, David A. (1986): Abstraction Using Generalization Functions
| Title: |
Abstraction Using Generalization Functions |
| Author(s): |
Plaisted, David A. |
| Year: |
1986 |
| Booktitle: |
8th Conf. on Automated Deduction |
| Journal: |
Artificial Intelligence |
| Pages: |
47-108 |
Concepts
|
|
