|
|
S. Amarel (1986): Program Synthesis as a Theory Formation Task: Problem Representation and Solution Methods
| Title: |
Program Synthesis as a Theory Formation Task: Problem Representation and Solution Methods |
| Author(s): |
S. Amarel |
| Year: |
1986 |
| Booktitle: |
Machine Learning -- An Artificial Intelligence Approach |
| Editor(s): |
Michalski, R. S. and Carbonell, J. G. and Mitchell, T. M. |
| Volume: |
2 |
| Chapter: |
18 |
| Pages: |
486-570 |
| Publisher: |
Morgan Kaufmann |
| Address: |
Palo Alto, CA |
Concepts
|
|
