Ute Schmid Books & Reviews | Toppsta

Author Links

Ute Schmid

0 stars across 1 book

Filter

Publication Date

Series

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

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

21st August 2003

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

Because of its promise to support human programmers in developing correct and efficient program code and in reasoning ... MoreInductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

(0 reviews) Review

Image to show page is loading

Show More Books

New Book

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

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

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

21st August 2003

(0 reviews)

Series by
Ute Schmid

Lecture Notes in Artificial Intelligence