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

Schmid, UteUteSchmid0000-0002-1301-03262019-09-192014-09-242003978-3-540-40174-2https://fis.uni-bamberg.de/handle/uniba/11597engInductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoningbook10.1007/b12055