ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Term Indexing

دانلود کتاب نمایه سازی مدت

Term Indexing

مشخصات کتاب

Term Indexing

ویرایش: [1 ed.] 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 1053 : Lecture Notes in Artificial Intelligence 
ISBN (شابک) : 3540610405, 9783540610403 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1995 
تعداد صفحات: 294
[291] 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 Mb

قیمت کتاب (تومان) : 28,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 1


در صورت تبدیل فایل کتاب Term Indexing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نمایه سازی مدت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نمایه سازی مدت



نمایه سازی مدت از ساخت سیستم های استدلال خودکار کارآمد پشتیبانی می کند، به عنوان مثال. با امکان دسترسی سریع به اصطلاحات حساب محمولی مرتبه اول با ویژگی‌های خاص، قضایای خودکار را اثبات می‌کند.
این تک‌نگاره یک بررسی جامع و مدون در مورد نمایه‌سازی اصطلاحی به طور کلی ارائه می‌کند و تکنیک‌های نمایه‌سازی جدیدی را برای بازیابی و نگهداری داده‌ها ارائه می‌کند که به آنها کمک می‌کند. برای غلبه بر تخریب برنامه در سیستم های استدلال خودکار مبانی نظری و جنبه های کاربردی به تفصیل بررسی می شود. در نهایت، اثبات کننده 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.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی