【预订】Inductive Synthesis of Functional Programs 9783540401742 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540401742 Author 作者 Schmid Format 版本 平装-胶订 Pages Number 页数 402页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-08-21 Language 语种 英语 Book Contents 内容简介 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 p
¥608.00
海外直订Inductive Synthesis of Functional Programs: Universal Pl
¥553.00
预订 Inductive Synthesis of Functional Programs: Universal Pla 【全球购】进口原版图书，一般5-8周左右到国内
¥647.00
