Inductive Synthesis of Functional Programs
Schmid, Ute
ISBN 10: 3540401741 ISBN 13: 9783540401742
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003
Nuovi
Brossura
Da
Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 9 ottobre 2009
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
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. . . . . Books ship from the US and Ireland. Codice articolo V9783540401742
Riassunto:
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.
Contenuti: 1. Introduction.- 1. Introduction.- I. Planning.- 2. State-Based Planning.- 3. Constructing Complete Sets of Optimal Plans.- 4. Integrating Function Application in State-Based Planning.- 5. Conclusions and Further Research.- II. Inductive Program Synthesis.- 6. Automatic Programming.- 7. Folding of Finite Program Terms.- 8. Transforming Plans into Finite Programs.- 9. Conclusions and Further Research.- III. Schema Abstraction.- 10. Analogical Reasoning and Generalization.- 11. Structural Similarity in Analogical Transfer.- 12. Programming by Analogy.- 13. Conclusions and Further Research.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Inductive Synthesis of Functional Programs
Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Data di pubblicazione: 2003
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Inductive synthesis of functional programs. universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
Da: Emile Kerssemakers ILAB, Heerlen, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
23 cm. original paperback. 398 pp. bibliography. index. "Lecture Notes in Artificial Intelligence". -(libr labels, library stamp, otherwise (very) good). 635g. Codice articolo 71829
Compra usato
EUR 20,00
Spedizione EUR 44,00
Spedito da Paesi Bassi a U.S.A.
Spedito da Paesi Bassi a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture . / Lecture Notes in Artificial Intelligence)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a2449
Compra usato
EUR 42,91
Spedizione EUR 6,02
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Inductive Synthesis of Functional Programs
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 4888617
Compra nuovo
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Inductive Synthesis of Functional Programs | Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Inductive Synthesis of Functional Programs | Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning | Ute Schmid | Taschenbuch | xxii | Englisch | 2003 | Springer | EAN 9783540401742 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Codice articolo 102503876
Compra nuovo
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science, 2654)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020166074
Compra nuovo
EUR 53,23
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Inductive Synthesis of Functional Programs
ISBN 10: 3540401741
ISBN 13: 9783540401742
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540401742
Compra nuovo
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Inductive Synthesis of Functional Programs
Editore:
Springer Berlin Heidelberg Aug 2003, 2003
ISBN 10: 3540401741
ISBN 13: 9783540401742
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540401742
Compra nuovo
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Editore:
Springer Berlin Heidelberg, 2003
ISBN 10: 3540401741
ISBN 13: 9783540401742
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540401742
Compra nuovo
EUR 53,49
Spedizione EUR 63,20
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 5907020-n
Compra nuovo
EUR 54,42
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540401742
Compra nuovo
EUR 56,81
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili