سنتز استقرایی برنامههای کاربردی: برنامهریزی همگانی، تا کردن برنامههای محدود، و انتزاع طرحواره با استدلال قیاسی
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 مگابایت