%0 Book %1 books/sp/Schmid03 %A Schmid, Ute %B Lecture Notes in Computer Science %D 2003 %I Springer %K dblp %T Inductive Synthesis of Functional Programs, Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning %V 2654 %@ 3-540-40174-1

@book{books/sp/Schmid03, added-at = {2019-05-14T00:00:00.000+0200}, author = {Schmid, Ute}, biburl = {https://www.bibsonomy.org/bibtex/2693ff1f26aae7bf67a9330dae3ae07d6/dblp}, ee = {https://doi.org/10.1007/b12055}, interhash = {28c38a7504792c65ef2e8a90a2cd4d68}, intrahash = {693ff1f26aae7bf67a9330dae3ae07d6}, isbn = {3-540-40174-1}, keywords = {dblp}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:53:07.000+0200}, title = {Inductive Synthesis of Functional Programs, Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning}, volume = 2654, year = 2003 }