Inductive Synthesis of Functional Programs

Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning تمت الكتابة بواسطة Ute Schmid وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Inductive Synthesis of Functional Programs هي 9783540448464, 3540448462 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540401742, 3540401741. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning تمت الكتابة بواسطة Ute Schmid وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Inductive Synthesis of Functional Programs هي 9783540448464, 3540448462 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540401742, 3540401741. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.