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	Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >> Bereich Angewandte Informatik >> Lehrstuhl für Kognitive Systeme >> Kitzelmann, Emanuel: Analytical Inductive Functional Programming . In: Hanus, Michael (Hrsg.) : Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008) (18th International Symposium on Logic-Based Program Synthesis and Transformation, Valencia, Spain, July, 2008). 2008, S. 166-180. Stichwörter:  inductive programming; igor2; program synthesis; term rewriting UnivIS ist ein Produkt der Config eG, Buckenhof