BibSonomy :: user  :: mh ::

bookmarks

publications

(3)   

• Inductive Program Synthesis: From Theory to Application
  Ute Schmid and Emanuel Kitzelmann and Fritz Wysotzki Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), page135--141. (2002)
  to inductive_functional_programming inductive_programming recursive_program_schemes automatic_programming inductive_program_synthesis induction machine_learning inductive_inference inductive_learning programming 2002 inductive inproceedings by mh and 1 other person on Oct 17, 2007, 3:28 PM
  BibTeX 
• Inductive Synthesis of Functional Programs
  Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume2385ofLNCS, page337--354. Springer-Verlag, (2002)
  to recursive_program_schemes induction inductive_programming inductive_inference programming published inproceedings inductive myown automatic_programming inductive_program_synthesis functional_programming 2002 igor1 inductive_functional_programming by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX 
• Folding of finite program terms to recursive program schemes
  Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium, 1, page144--149 vol.1. (2002)
  to inductive_inference myown inductive_program_synthesis induction automatic_programming inductive_functional_programming inductive_programming inproceedings inductive published functional_programming 2002 programming igor1 recursive_program_schemes by mh and 1 other person on Oct 17, 2007, 3:28 PM
  URL | BibTeX