Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science)
Huge Savings Item! Save 14% on the Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science) by Springer at EMS Linux. MPN: biography. Hurry! Limited time offer. Offer valid only while supplies last. Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic
Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s.
This book focusses on inductive program synthesis, and especially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule learning for planning. Furthermore, relations to problem solving and learning in cognitive psychology are discussed.
|Item Weight:||1.3 pounds|
|Item Size:||0.96 x 9.25 x 9.25 inches|
|Package Weight:||1.35 pounds|
|Package Size:||6 x 1 x 1 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Hans Huttel
ean: 9780521197465, isbn: 0521197465,
Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides a self-contained introduction to structural operational semantics, fea...
By Brand: Birkhäuser
mpn: biography, ean: 9781461267041, isbn: 1461267048,
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, th...
mpn: biography, ean: 9781461348252, isbn: 1461348250,
The projectors are considered as simple but important type of matrices and operators. Their basic theory can be found in many books, among which Hal mas ,  are of particular significance. The projectors or projections became an active res...
ean: 9781848825420, isbn: 1848825420,
Fortran has been the premier language for scientific computing since its introduction in 1957. Fortran originally was designed to allow programmers to evaluate for- las―FORmula TRANslation―easily on large computers. Fortran compilers are now avai...
By Laxmi Publications
ean: 9788131800805, isbn: 8131800806,
Although DSP Has Long Been Considered An EE Topic, Recent Developments Have Also Generated Significant Interest From The Computer Science Community. DSP Applications In The Consumer Market, Such As Bioinformatics, The MP3 Audio Format, And MPEG-Based...
By Brand: Cambridge University Press
ean: 9781107019027, isbn: 1107019028,
This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of appl...
By Prentice Hall College Div
ean: 9780134841977, isbn: 0134841972,
mpn: 44769369, ean: 9783319333601, isbn: 3319333607,
This book highlights the current challenges for engineers involved in product development and the associated changes in procedure they make necessary. Methods for systematically analyzing the requirements for safety and security mechanisms are descri...
ean: 9780077076252, isbn: 0077076257,
The functional programming language ML is becoming the main medium for teaching functional ideas in a university environment. This book is introductory and adopts an incremental approach, whilst the coverage is problem-oriented: at each stage a probl...
By Brand: Cambridge University Press
ean: 9780521791335, isbn: 0521791332,
This book provides the first general account of the development of simplicial algorithms. These include the ubiquitous simplex method of linear programming widely used in industrial optimization and strategic decision making and methods important in ...