Inductive Synthesis of Functional Programs
Subtitle: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 29, 2003
Language: eng
Format: Paperback
Number of pages: 398
ISBN-13: 9783540401742
Subjects: Mathematics and Science; Computers; Computers - Languages / Programming; Computer Books: General; Artificial Intelligence - General; Logic Design; Programming - Software Development; Computers / Artificial Intelligence; automatic programming; context-free grammars; functional programs; inductive synthesis; problem solving; program abstraction; program folding; program modification; General; Artificial intelligence; Computer programming; Software engineering