خرید و دانلود نسخه کامل کتاب Generating Plans from Proofs. The Interpolation-based Approach to Query Reformulation

ایجاد برنامه هایی از اثبات. رویکرد مبتنی بر درون یابی به اصلاح پرس و جو

Generating Plans from Proofs. The Interpolation-based Approach to Query Reformulation

نویسنده: Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura

ناشر: Morgan & Claypool

سال انتشار: 2016

تعداد صفحات: 189

زبان: English

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

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