Externalization of Human Idea and Problem Description for Automatic Programming.

Setsuo Ohsuga Takumi Aida

Published in: ISMIS (1999)

Keyphrases

automatic programming
theorem proving
high level
gene expression programming
fuzzy logic
learning algorithm
artificial intelligence
image segmentation
human users