%0 Thesis %1 kitzelmann2010combined %A Kitzelmann, Emanuel %D 2010 %K dnb Informatik %T A combined analytical and search-based approach to the inductive synthesis of functional programs

@phdthesis{kitzelmann2010combined, added-at = {2015-09-07T22:38:12.000+0200}, author = {Kitzelmann, Emanuel}, biburl = {https://www.bibsonomy.org/bibtex/26b8436d93b45d958945fb34f9efb69d5/genealogie}, dnbtitleid = {1007898313}, interhash = {0812416eb0090075dc39ec3339fe4a6e}, intrahash = {6b8436d93b45d958945fb34f9efb69d5}, keywords = {dnb Informatik}, school = {Uni Bamberg}, timestamp = {2015-09-07T22:38:12.000+0200}, title = {A combined analytical and search-based approach to the inductive synthesis of functional programs}, year = 2010 }