BibSonomy bookmarks for /user/emanuel/program_synthesishttp://www.bibsonomy.org/rss/user/emanuel/program_synthesisBibSonomy RSS Feed for /user/emanuel/program_synthesisMagicHaskeller: A Search-based Inductive Functional Programming Systemhttp://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.htmlemanuel2008-04-21T19:51:40+02:00MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming ip-system program_synthesis The F L I P Systemhttp://www.dsic.upv.es/~flip/flip/emanuel2008-04-21T19:32:03+02:00analytical_ip experiment flip iflp induction inductive_programming ip-system machine_learning program_synthesis Kestrel Institutekids, specware, planwarehttp://www.kestrel.edu/emanuel2008-04-16T16:02:03+02:00applications ase deductive_program_synthesis institute program_synthesis smith software_engineering kids, specware, planwareDBLP: Emanuel Kitzelmannemanuel's list of publications from dblphttp://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kitzelmann:Emanuel.htmlemanuel2007-12-19T15:12:58+01:00dblp emanuel igor1 igor2 inductive_programming kitzelmann program_synthesis emanuel's list of publications from dblpOtto-Friedrich-Universität Bamberg: Professur für Angewandte Informatik / Kognitive Systemehomepage of the cognitive systems group at university of bamberghttp://www.cogsys.wiai.uni-bamberg.deemanuel2007-12-19T15:04:34+01:00cognition cognitive_systems cogsys inductive_programming program_synthesis homepage of the cognitive systems group at university of bamberginductive-programming.org • The IP Communityinductive programming community sitehttp://inductive-programming.org/emanuel2007-12-19T14:59:44+01:00community inductive_programming program_synthesis inductive programming community siteStephen Muggletonstephen muggleton's homepagehttp://www.doc.ic.ac.uk/~shm/emanuel2007-12-19T14:57:52+01:00golem ilp inductive_programming machine_learning muggleton progol program_synthesis stephen muggleton's homepageRoss Quinlan's personal homepagehttp://www.rulequest.com/Personal/emanuel2007-12-19T14:57:01+01:00foil ilp inductive_programming machine_learning program_synthesis quinlan The ADATE Systemhomepage of roland olsson's ADATE inductive programming systemhttp://www-ia.hiof.no/~rolando/emanuel2007-12-19T14:56:10+01:00adate ifp inductive_programming olsson program_synthesis homepage of roland olsson's ADATE inductive programming systemOtto-Friedrich-Universität Bamberg: Kitzelmannemanuel's university homepage http://www.uni-bamberg.de/kogsys/members/kitzelmann/emanuel2007-12-19T14:54:19+01:00bamberg emanuel ifp igor1 igor2 inductive_programming kitzelmann program_synthesis emanuel's university homepagePierre Flenerhttp://user.it.uu.se/~pierref/emanuel2007-12-19T14:48:54+01:00dialogs flener ilp inductive_programming program_synthesis