Mühlpfordt, M. ; Schmid, Ute: Synthesis of recursive functions with interdependent parameters
. In: TU Berlin (Hrsg.) : Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen, (FGML-98,, TU Berlin,, 17.--19.8.98). 1998, S. 132--139. (Forschungsberichte des Fachbereichs Informatik Bd. 98, Nr. 11)
|