UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:       
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 
Einrichtungen >> Fakultät Wirtschaftsinformatik / Angewandte Informatik >>
Hofmann, Martin ; Hirschberger, Andreas ; Kitzelmann, Emanuel ; Schmid, Ute:
Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems .
In: Hertzberg, J. ; Beetz, M. ; Englert, R. (Hrsg.) : KI 2007: Advances in Artificial Intelligence
(30th Annual German Conference on AI, KI 2007, Osnabrück, September 2007). Bd. LNAI 4667.
Heidelberg : Springer, 2007, S. 468-472.

Institution: Lehrstuhl für Kognitive Systeme
UnivIS ist ein Produkt der Config eG, Buckenhof