Inductive Synthesis of Functional Programs

Schmid, Ute

ISBN 10: 3540401741 ISBN 13: 9783540401742

Edit� par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003

Neuf(s) Couverture souple

Vendeur Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 27 f�vrier 2001

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. Category: (G) General (US: Trade). Dimension: 233 x 155 x 21. Weight in Grams: 592. . 2003. Paperback. . . . . N� de r�f. du vendeur V9783540401742

Signaler cet article

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 � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Inductive Synthesis of Functional Programs
�diteur : Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Date d'�dition : 2003
Reliure : Couverture souple
Etat : New

Meilleurs r�sultats de recherche sur AbeBooks

Image fournie par le vendeur

Inductive synthesis of functional programs. universal planning, folding of finite programs, and schema abstraction by analogical reasoning.

SCHMID, U.

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

Contacter le vendeur

Acheter D'occasion

EUR 20

Exp�dition �EUR 44
Exp�dition depuis Pays-Bas vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture . / Lecture Notes in Artificial Intelligence)

Schmid, Ute

Edit� par Springer, 2003

ISBN 10 : 3540401741 ISBN 13 : 9783540401742

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a2449

Contacter le vendeur

Acheter D'occasion

EUR 42,85

Exp�dition �EUR 6,01
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Inductive Synthesis of Functional Programs

Ute Schmid

Edit� par Springer Berlin Heidelberg, 2003

ISBN 10 : 3540401741 ISBN 13 : 9783540401742

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 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

Contacter le vendeur

Acheter neuf

EUR 48,37

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Autres images

Inductive Synthesis of Functional Programs | Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

Ute Schmid

Edit� par Springer, 2003

ISBN 10 : 3540401741 ISBN 13 : 9783540401742

Neuf Taschenbuch

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 50,25

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

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)

Schmid, Ute

Edit� par Springer, 2003

ISBN 10 : 3540401741 ISBN 13 : 9783540401742

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020166074

Contacter le vendeur

Acheter neuf

EUR 53,16

Exp�dition �EUR 3,43
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Inductive Synthesis of Functional Programs

Ute Schmid

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

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Inductive Synthesis of Functional Programs

Ute Schmid

Edit� par Springer Berlin Heidelberg Aug 2003, 2003

ISBN 10 : 3540401741 ISBN 13 : 9783540401742

Neuf Taschenbuch

impression � la demande

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

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

Ute Schmid

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

Contacter le vendeur