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