Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG

Hofmann, Martin: Schema-Guided Inductive Functional Programming through Automatic Detection of Type Morphisms . Bamberg, Otto-Friedrich-Universität, Diss., 2010. - 345 Seiten.

UnivIS ist ein Produkt der Config eG, Buckenhof