Kitzelmann, Emanuel ; Schmid, Ute ; Mühlpfordt, M. ; Wysotzki, F.:
Inductive synthesis of functional programs
.
In: Calmet, J. ; Benhamou, B. ; Caprotti, O. ; Henocque, L. ; Sorge, V. (Hrsg.) : Artificial Intelligence, Automated Reasoning, and Symbolic Computation
(AISC 2002,, Marseille, France, July 1-5, 2002).
Heidelberg : Springer, 2002, S. 26-37. Bd. LNAI, Nr. 2385
Institution: Lehrstuhl für Kognitive Systeme
|