|
|
Sold Out
Book Categories |
| 1 | Introduction | 1 |
| Pt. I | Planning | |
| 2 | State-Based Planning | 13 |
| 3 | Constructing Complete Sets of Optimal Plans | 55 |
| 4 | Integrating Function Application in Planning | 71 |
| 5 | Conclusions and Further Research | 93 |
| Pt. II | Inductive Program Synthesis | |
| 6 | Automatic Programming | 99 |
| 7 | Folding of Finite Program Terms | 167 |
| 8 | Transforming Plans into Finite Programs | 227 |
| 9 | Conclusions and Further Research | 271 |
| Pt. III | Schema Abstraction | |
| 10 | Analogical Reasoning and Generalization | 279 |
| 11 | Structural Similarity in Analogical Transfer | 291 |
| 12 | Programming by Analogy | 311 |
| 13 | Conclusions and Further Research | 323 |
| Bibliography | 327 | |
| App. A | Implementation Details | 343 |
| App. B | Concepts and Proofs | 357 |
| App. C | Sample Programs and Problems | 369 |
| Index | 391 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Jeremy Ruiz
reviewed Inductive Synthesis of Functional Programs on April 23, 2011
Inductive Synthesis of Functional Programs
In comparison to "Introduction to Algorithms" (the other algorithm book I had significant exposure to) this one is faster to read, easier to digest and more tailored towards applications.
I found the "Hitchhiker's Guide to Algorithms" in the back to be extremely useful if you really find yourself tackling an algorithmic problem in practice.
The main part (maybe skipping/skimming down a few chapters) is a very good preparation for algorithm-heavy job interviews (e.g. Google, Facebook etc ...).
Very much recommended.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Inductive Synthesis of Functional Programs
X
This Item is in Your Inventory
Inductive Synthesis of Functional Programs
X
You must be logged in to review the productsX
X
X
Add Inductive Synthesis of Functional Programs, 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 fo, Inductive Synthesis of Functional Programs to the inventory that you are selling on WonderClubX
X
Add Inductive Synthesis of Functional Programs, 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 fo, Inductive Synthesis of Functional Programs to your collection on WonderClub |
