|
Hofmann, Martin: Schema-Guided Inductive Functional Programming through Automatic Detection of Type Morphisms
. Bamberg, Otto-Friedrich-Universität, Diss., 2010. - 345 Seiten.
Institution: Lehrstuhl für Kognitive Systeme
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|