An Experiment in Knowledge-Based Automatic Programming.

David R. Barstow

Published in: Artif. Intell. (1979)

Keyphrases

automatic programming
theorem proving
gene expression programming
expert systems
neural network
machine learning
image segmentation
computer programs