دانلود کتاب Term Indexing
49,000 تومان
نمایه سازی مدت
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 294 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540610405,9783540610403 |
| نوبت چاپ | 1 |
| نویسنده | J. Bentley (auth.), Peter Graf (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1995 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نمایه سازی مدت
نمایه سازی مدت از ساخت سیستم های استدلال خودکار کارآمد پشتیبانی می کند، به عنوان مثال. با امکان دسترسی سریع به اصطلاحات حساب محمولی مرتبه اول با ویژگیهای خاص، قضایای خودکار را اثبات میکند.
این تکنگاره یک بررسی جامع و مدون در مورد نمایهسازی اصطلاحی به طور کلی ارائه میکند و تکنیکهای نمایهسازی جدیدی را برای بازیابی و نگهداری دادهها ارائه میکند که به آنها کمک میکند. برای غلبه بر تخریب برنامه در سیستم های استدلال خودکار مبانی نظری و جنبه های کاربردی به تفصیل بررسی می شود. در نهایت، اثبات کننده PURR برای وضوح حاصل از واحد موازی مورد بحث قرار می گیرد تا اهمیت پیاده سازی دقیق را نشان دهد.
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.
This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer International Publishing |
| تعداد صفحه | 445 |
| حجم فایل | 15.80 مگابایت |
| کد کتاب | 3540784780 , 9783540784784 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.