دانلود کتاب Generating Plans from Proofs. The Interpolation-based Approach to Query Reformulation
by Michael Benedikt, Julien Leblay, Balder ten Cate, Efthymia Tsamoura
|
عنوان فارسی: تولید برنامه های از اثبات. این الحاق-رویکرد مبتنی بر پرس و جو فرمول |