Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
Ute Schmid
Bok Engelsk 2003
Utgitt | Berlin : Springer , c2003
|
---|---|
Omfang | XXII, 398 s. : ill.
|
Emner | |
Dewey | |
ISBN | 3540401741
|