|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Informationssystem der Otto-Friedrich-Universität Bamberg |
© Config eG |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Wysotzki, F. ; Schmid, Ute: Synthesis of Recursive Programs from Finite Examples by Detection of Macro-Functions
. Berlin : TU Berlin. 2001 (Number 01-2). - Interner Bericht (Technical Report)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |