%0 Conference Paper %1 conf/aaip/KitzelmannS05 %A Kitzelmann, Emanuel %A Schmid, Ute %B AAIP %D 2005 %E Kitzelmann, Emanuel %E Olsson, Roland %E Schmid, Ute %K dblp %P 15-26 %T An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs. %U http://dblp.uni-trier.de/db/conf/aaip/aaip2005.html#KitzelmannS05

@inproceedings{conf/aaip/KitzelmannS05, added-at = {2022-11-09T00:00:00.000+0100}, author = {Kitzelmann, Emanuel and Schmid, Ute}, biburl = {https://www.bibsonomy.org/bibtex/22707c694c6cd1458862577ca45cff4de/dblp}, booktitle = {AAIP}, crossref = {conf/aaip/2005}, editor = {Kitzelmann, Emanuel and Olsson, Roland and Schmid, Ute}, ee = {https://cogsys.uni-bamberg.de/events/aaip05/proceedings/aaip05_ifps.pdf}, interhash = {7a094bf46a16c29329b643041003846d}, intrahash = {2707c694c6cd1458862577ca45cff4de}, keywords = {dblp}, pages = {15-26}, timestamp = {2024-04-09T10:36:09.000+0200}, title = {An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs.}, url = {http://dblp.uni-trier.de/db/conf/aaip/aaip2005.html#KitzelmannS05}, year = 2005 }