海量图书期刊资源,随时随地畅享阅读乐趣
Inducing Constructor Systems from Example-Terms by Detecting Syntactical RegularitiesEmanuel Kitzelmann; Ute Schmid · 2007
[Lecture Notes in Computer Science] Approaches and Applications of Inductive Programming Volume 5812 || Inductive Programming: A Survey of Program Synthesis TechniquesSchmid, Ute; Kitzelmann, Emanuel; Plasmeijer, Rinus · 2010