%0 Conference Paper %1 Kitzelmann05a %A Kitzelmann, Emanuel %A Schmid, Ute %B Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming %D 2005 %K 2005 automatic_programming ebg functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_program_synthesis inductive_programming inproceedings machine_learning myown programming recursive_program_schemes %P 15--27 %T An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs %U http://www.cogsys.wiai.uni-bamberg.de/aaip05/proceedings/aaip05_ifps.pdf

@inproceedings{Kitzelmann05a, added-at = {2007-10-17T15:28:39.000+0200}, author = {Kitzelmann, Emanuel and Schmid, Ute}, biburl = {https://www.bibsonomy.org/bibtex/233baefe4d9d0bc4d9ebb09d64428a99e/mh}, booktitle = {Proceedings of the ICML 2005 Workshop on Approaches and Applications of Inductive Programming}, interhash = {7a094bf46a16c29329b643041003846d}, intrahash = {33baefe4d9d0bc4d9ebb09d64428a99e}, keywords = {2005 automatic_programming ebg functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_program_synthesis inductive_programming inproceedings machine_learning myown programming recursive_program_schemes}, location = {Bonn, Germany}, pages = {15--27}, timestamp = {2007-10-17T15:28:40.000+0200}, title = {An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs}, url = {http://www.cogsys.wiai.uni-bamberg.de/aaip05/proceedings/aaip05_ifps.pdf}, year = 2005 }