Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Hofmann, Martin
:
Data-Driven Detection of Catamorphisms --- Towards Problem Specific Use of Program Schemes for Inductive Program Synthesis
.
In:
Hage, Juriaan
(Hrsg.) :
Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)
(
22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)
, Alphen aan den Rijn, 1. - 3. Sept. 2010).
Utrecht : Technical Report, Department of Information and Computing Sciences, Utrecht University, 2010, S. 25-39.
Institution:
Lehrstuhl für Kognitive Systeme
UnivIS ist ein Produkt der
Config eG
, Buckenhof