Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Functional

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


Product Description

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.

Additional Information

Manufacturer:Springer
Part Number:biography
Publisher:Springer
Studio:Springer
MPN:biography
EAN:9783540401742
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

Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science) by Springer

Buy Now:
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science)

Brand: Springer
4.0 out of 5 stars with 51 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$109.00
$94.30
You Save: 13%


Quantity:  

 


View More In Functional.

 


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.

First Name:
Last Last:
Email Address:
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...

By Springer
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 [177], [178] are of particular significance. The projectors or projections became an active res...

By Springer
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,

By Springer
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...

By McGraw-Hill
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 ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.