Protosystem I - An automatic programming system prototype.

Gregory R. Ruth

Published in: AFIPS National Computer Conference (1978)

Keyphrases

automatic programming
theorem proving
gene expression programming
artificial intelligence
genetic programming
labeled data