|
|
Ch. Kreitz (1990): The Representation of Program Synthesis in Higher Order Logic
| Title: |
The Representation of Program Synthesis in Higher Order Logic |
| Author(s): |
Ch. Kreitz |
| Year: |
1990 |
| Booktitle: |
German Workshop on Artificial Intelligence GWAI--90 |
| Editor(s): |
H. Marburger |
| Number: |
251 |
| Pages: |
171-180 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
