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: Professur für Angewandte Informatik, insbes. Kognitive Systeme
|
|