Inductive synthesis of functional programs universal planning, folding of finite programs, and schema abstraction by analogical reasoning
U. Schmid (Ute)
Berlin Springer New York 2003
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.2654 )(Acessar)