BibSonomy :: bibtex  ::

publications

(2)

• Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid and Martin M{\"u}hlpfordt and Fritz Wysotzki AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation 337--354 (2002)
  to analytical_ip ifp igor1 induction inductive_programming inproceedings program_synthesis recursive_program_schemes by emanuel on 2008-06-14 17:51:34
  | URL | BibTeX  
• Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid and Martin M{\"u}hlpfordt and Fritz Wysotzki AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation 337--354 (2002)
  to 2002 automatic_programming functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_program_synthesis inductive_programming inproceedings myown programming published recursive_program_schemes by mh on 2007-10-17 15:28:39
  | URL | BibTeX