Automatic Programming: A Tutorial on Formal Methodologies.

Alan W. Biermann

Published in: J. Symb. Comput. (1985)

Keyphrases

automatic programming
theorem proving
gene expression programming
artificial intelligence
data mining
feature space
learning algorithm
feature selection
genetic programming