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

نویسنده: Ute Schmid (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2003

تعداد صفحات: 402 [365]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 1 مگابایت

94,000 تومان 58,000 تومان