Sign in
Inductive Synthesis of Programs for Recursive Functions from Sample Computations.
Efim B. Kinber
Published in:
J. Inf. Process. Cybern. (1989)
Keyphrases
</>
recursive functions
inductive inference
functional programs
functional language
logic programs
hypothesis spaces
program synthesis
recursive programs
machine learning
sample size
neural network
small number
answer sets
pattern languages