Articles liés à Inductive Synthesis of Functional Programs: Universal...
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning - Couverture souple
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540401741
- ISBN 13 9783540401742
- ReliureBroché
- Langueanglais
- Nombre de pages424
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Inductive Synthesis of Functional Programs: Universal...
Image fournie par le vendeur
Inductive synthesis of functional programs. universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
Edité par
Springer, Berlin, 2003
ISBN 10 : 3540401741
ISBN 13 : 9783540401742
Ancien ou d'occasion
Couverture souple
Vendeur : Emile Kerssemakers ILAB, Heerlen, Pays-Bas
Évaluation du vendeur 5 sur 5 étoiles
23 cm. original paperback. 398 pp. bibliography. index. "Lecture Notes in Artificial Intelligence". -(libr labels, library stamp, otherwise (very) good). 635g. N° de réf. du vendeur 71829
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Inductive Synthesis of Functional Programs
Edité par
Springer Berlin Heidelberg, 2003
ISBN 10 : 3540401741
ISBN 13 : 9783540401742
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 boo. N° de réf. du vendeur 4888617
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Edité par
Springer Berlin Heidelberg, 2003
ISBN 10 : 3540401741
ISBN 13 : 9783540401742
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, andespecially 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. N° de réf. du vendeur 9783540401742
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Inductive Synthesis of Functional Programs
Edité par
Springer Berlin Heidelberg Aug 2003, 2003
ISBN 10 : 3540401741
ISBN 13 : 9783540401742
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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, andespecially 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. 424 pp. Englisch. N° de réf. du vendeur 9783540401742
Quantité disponible : 2 disponible(s)
Image d'archives
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science, 2654)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540401742_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Inductive Synthesis of Functional Programs
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2003, 2003
ISBN 10 : 3540401741
ISBN 13 : 9783540401742
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch. N° de réf. du vendeur 9783540401742
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5907020-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5907020-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Edité par
Springer, 2003
ISBN 10 : 3540401741
ISBN 13 : 9783540401742
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5907020
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Edité par
Springer, 2003
ISBN 10 : 3540401741
ISBN 13 : 9783540401742
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5907020
Quantité disponible : Plus de 20 disponibles