UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Kitzelmann, Emanuel ; Schmid, Ute:
An EBG Approach to the Inductive Synthesis of Functional Programs .
In: ICML 2005 (Hrsg.) : Proceedings of the ICML 2005
(ICML 2005, Bonn, 7-11 August).
2005, S. 15 - 26.
UnivIS ist ein Produkt der Config eG, Buckenhof