An Automatic Programming System to Support an Experimental Science.

David R. Barstow Roger Duffey Stephen W. Smoliar Stanley Vestal

Published in: ICSE (1982)

Keyphrases

automatic programming
gene expression programming
artificial intelligence
data streams
multi class
decision trees
theorem proving