Inductive synthesis of functional programs. universal planning, folding of finite programs, and schema abstraction by analogical reasoning.

SCHMID, U.

Springer, Berlin, 2003

ISBN: 3540401741

23 cm. original paperback. 398 pp. bibliography. index. "Lecture Notes in Artificial Intelligence". -(libr labels, library stamp, otherwise (very) good).