Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

Shelfclass_id 4.A
Sortkey SCHMID, UTE
Authors Ute Schmid
Title Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Publisher Springer-Verlag
Year c2003
Languages eng
Isbn 3540401741
Series Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
Volume 2654
Issn 0302-9743
Description (softcover: alk. paper) xxii, 398 p. ill. 24 cm
Record date 20060712
Location New York
Keywords Computer programming, Software engineering, Artificial intelligence