Hofmann, Martin ; Hirschberger, Andreas ; Kitzelmann, Emanuel ; Schmid, Ute:
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems
.
In: Hertzberg, J. ; Beetz, M. ; Englert, R. (Hrsg.) : KI 2007: Advances in Artificial Intelligence
(30th Annual German Conference on AI, KI 2007, Osnabrück, September 2007). Bd. LNAI 4667.
Heidelberg : Springer, 2007, S. 468-472.
|