UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
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)

Institution: Professur für Angewandte Informatik, insbes. Kognitive Systeme
UnivIS ist ein Produkt der Config eG, Buckenhof