On inductive synthesis of programs.

Published in: Algorithms in Modern Mathematics and Computer Science (1979)

Keyphrases

functional programs
recursive programs
program synthesis
functional language
logic programs
neural network
machine learning
artificial intelligence
inductive learning
real time
data sets
image processing
knowledge representation
computer programs