ARPA "automatic programming" meeting.

Richard Waldinger

Published in: SIGART Newsl. (1974)

Keyphrases

automatic programming
theorem proving
gene expression programming
knowledge base
image segmentation
feature extraction
first order logic
evolutionary computation