%0 Conference Paper %1 conf/aisc/KitzelmannSMW02 %A Kitzelmann, Emanuel %A Schmid, Ute %A Mühlpfordt, Martin %A Wysotzki, Fritz %B AISC %D 2002 %E Calmet, Jacques %E Benhamou, Belaid %E Caprotti, Olga %E Henocque, Laurent %E Sorge, Volker %I Springer %K %P 26-37 %T Inductive Synthesis of Functional Programs. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2002.html#KitzelmannSMW02 %V 2385 %@ 3-540-43865-3

@inproceedings{conf/aisc/KitzelmannSMW02, added-at = {2023-12-12T21:03:26.000+0100}, author = {Kitzelmann, Emanuel and Schmid, Ute and Mühlpfordt, Martin and Wysotzki, Fritz}, biburl = {https://www.bibsonomy.org/bibtex/23e5c8e8f474e46c52b8f4c3ba99ff460/admin}, booktitle = {AISC}, crossref = {conf/aisc/2002}, editor = {Calmet, Jacques and Benhamou, Belaid and Caprotti, Olga and Henocque, Laurent and Sorge, Volker}, ee = {https://doi.org/10.1007/3-540-45470-5_6}, interhash = {3870a4f9441a0a187db5522ca814f76b}, intrahash = {3e5c8e8f474e46c52b8f4c3ba99ff460}, isbn = {3-540-43865-3}, keywords = {}, pages = {26-37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:03:26.000+0100}, title = {Inductive Synthesis of Functional Programs.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2002.html#KitzelmannSMW02}, volume = 2385, year = 2002 }