TY  - BOOK
AU  - Schmid, U
TI  - Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
SN  - 9783540401742
SN  - 200305905
U1  - 006.3 SCH 
PY  - 2003///
CY  - Berlin
PB  - Springer
KW  - Artificial Intelligence
KW  - Computer programming
KW  - Software engineering
N1  - Includes bibliographical references (p. [327]-340) and index
ER  -