Items related to Inductive Synthesis of Functional Programs: Universal...

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

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

Synopsis

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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Very Good
We are unable to ship to Canada...
View this item

US$ 6.99 shipping within U.S.A.

Destination, rates & speeds

Search results for Inductive Synthesis of Functional Programs: Universal...

Stock Image

Schmid, Ute
Published by Springer, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a2449

Contact seller

Buy Used

US$ 48.47
Convert currency
Shipping: US$ 6.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Schmid, Ute
Published by Springer, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5907020-n

Contact seller

Buy New

US$ 61.30
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Ute Schmid
ISBN 10: 3540401741 ISBN 13: 9783540401742
New Paperback

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540401742

Contact seller

Buy New

US$ 63.95
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Schmid, Ute
Published by Springer, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540401742

Contact seller

Buy New

US$ 54.99
Convert currency
Shipping: US$ 8.98
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Schmid, Ute
Published by Springer, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020166074

Contact seller

Buy New

US$ 60.00
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Schmid, Ute
Published by Springer, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5907020

Contact seller

Buy Used

US$ 69.48
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

SCHMID, U.
Published by Springer, Berlin, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
Used Softcover

Seller: Emile Kerssemakers ILAB, Heerlen, Netherlands

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

23 cm. original paperback. 398 pp. bibliography. index. "Lecture Notes in Artificial Intelligence". -(libr labels, library stamp, otherwise (very) good). 635g. Seller Inventory # 71829

Contact seller

Buy Used

US$ 24.13
Convert currency
Shipping: US$ 51.53
From Netherlands to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Schmid, Ute
Published by Springer, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540401742_new

Contact seller

Buy New

US$ 67.97
Convert currency
Shipping: US$ 16.09
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Schmid, Ute
Published by Springer 2003-08, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540401742

Contact seller

Buy New

US$ 66.21
Convert currency
Shipping: US$ 20.81
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Schmid, Ute
Published by Springer, 2003
ISBN 10: 3540401741 ISBN 13: 9783540401742
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5907020-n

Contact seller

Buy New

US$ 67.95
Convert currency
Shipping: US$ 20.15
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 13 more copies of this book

View all search results for this book