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