ISBN: 9783540448464
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 attenti… Mehr…
| ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540448464
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 attenti… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540448464
Computer Science; Artificial Intelligence (incl. Robotics); Science, Humanities and Social Sciences, multidisciplinary; Programming Techniques; Software Engineering; Logics and Meanings o… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
2003, ISBN: 9783540448464
Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg,… Mehr…
| lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning - neues Buch
ISBN: 9783540448464
; PDF; Scientific, Technical and Medical, Springer Berlin Heidelberg
| hive.co.uk No. 9783540448464. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9783540448464
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 attenti… Mehr…
ISBN: 9783540448464
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 attenti… Mehr…
ISBN: 9783540448464
Computer Science; Artificial Intelligence (incl. Robotics); Science, Humanities and Social Sciences, multidisciplinary; Programming Techniques; Software Engineering; Logics and Meanings o… Mehr…
2003, ISBN: 9783540448464
Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg,… Mehr…
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning - neues Buch
ISBN: 9783540448464
; PDF; Scientific, Technical and Medical, Springer Berlin Heidelberg
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Inductive Synthesis of Functional Programs
EAN (ISBN-13): 9783540448464
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-02-10T18:57:05+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-12-21T10:53:05+01:00 (Berlin)
ISBN/EAN: 9783540448464
ISBN - alternative Schreibweisen:
978-3-540-44846-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ute
Titel des Buches: synthesis, universal, abstraction
Daten vom Verlag:
Autor/in: Ute Schmid
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Inductive Synthesis of Functional Programs - Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Verlag: Springer; Springer Berlin
402 Seiten
Erscheinungsjahr: 2003-09-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XXII, 402 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; automatic programming; cognitive psychology; context-free grammars; functional programs; inductive synthesis; learning; logical reasoning; program abstraction; program folding; program modification; program synthesis; program transformation; programming; recursive functions; universal planning; C; Artificial Intelligence; Humanities and Social Sciences; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Interdisziplinäre Studien; Computerprogrammierung und Softwareentwicklung; Software Engineering; Theoretische Informatik; BC
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.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540401742 Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science, 2654, Band 2654) (Schmid, Ute)
< zum Archiv...