دانلود کتاب Generating Plans from Proofs. The Interpolation-based Approach to Query Reformulation
by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
|
عنوان فارسی: تولید برنامه های از اثبات. این الحاق-رویکرد مبتنی بر پرس و جو فرمول |
دانلود کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/3/31/Michael_Madsen2.jpg/50px-Michael_Madsen2.jpg)