|
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.
Institution: Lehrstuhl für Kognitive Systeme
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|