Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Inductive Synthesis of Functional Programs

Inductive Synthesis of Functional Programs

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540401742
Condition
New
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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Advances in Food Colloids

$169.99

Open Security

$59.99

Management of Knee Osteoarthritis in the Younger, Active Patient

$39.99

Fortschritte der Osteologie in Diagnostik und Therapie

$69.99

Numerical Integration of Space Fractional Partial Differential Equations

$49.99

Kammerphysikalische Kostbarkeiten

$74.99

Numerical Semigroups

$109.99

The Instant Pot Bible: More than 350 Recipes and Strategies: The Only Book You Need for Every Model of Instant Pot by Bruce Weinstein

$21.99

Lehrbuch der Mathematik fr Wirtschaftswissenschaften

$49.99

Long-Term Studies in Ecology

$84.99

Wahnsinnsfilme

$24.99

Crime and Victimization of the Elderly

$119.00

Sicherheit versus Freiheit

$49.99

Electrochemical Engineering

$279.99

The Perfect Scoop, Revised and Updated - 200 Recipes for Ice Creams, Sorbets, Gelatos, Granitas, and Sweet Accompaniments A Cookbook by David Lebovitz

$25.99

Formal Techniques in Real-Time and Fault-Tolerant Systems

$129.00

Sustainable Food Innovation

$169.99

Digital Agriculture

$54.99

Case Studies in Superconducting Magnets

$79.99

GeNeDis 2020

$279.99

China and Africa

$179.99

Hedging mit fixen Termingeschften und Optionen

$59.99

Glck, Logik und Bluff

$29.99

Cryptography and Coding

$39.99

City of Ghosts: City of Ghosts

$5.24

Improving Online Presentations

$159.99

Firelight: A Graphic Novel (Amulet #7)

$9.74

Marriage, the Church, and its Judges in Renaissance Venice, 1420-1545

$99.99

Joan of Arc and Spirituality

$54.99

Engaging

$29.99

Engines and Fuels for Future Transport

$179.99

Parlamentarisches Regierungssystem in der Bundesrepublik Deutschland

$59.99

An Analog VLSI System for Stereoscopic Vision

$84.99

Issues in Law and Public Policy on Contract Labour in India

$109.99

Reconfigurable Manufacturing Systems and Transformable Factories

$219.99

Federal Union: The Pioneers

$54.99

Plant-Microbe Interactions

$129.00

Advanced Econometric Methods

$54.99

How to Build a Life in the Humanities

$19.99

Die endliche Fourier- und Walsh-Transformation mit einer Einfhrung in die Bildverarbeitung

$59.99