دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
دانلود کتاب کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی
مشخصات کتاب
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis
ویرایش: 2 نویسندگان: David A. Plaisted, Yunshan Zhu (auth.) سری: Computational Intelligence ISBN (شابک) : 9783528155742, 9783663078470 ناشر: Vieweg+Teubner Verlag سال نشر: 1999 تعداد صفحات: 179 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی: علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کارایی راهبردهای اثبات قضیه: تحلیل مقایسه ای و مجانبی
این کتاب از این جهت منحصربه‌فرد است که محدودیت‌های مجانبی را در مورد اندازه فضاهای جستجو ایجاد شده توسط بسیاری از استراتژی‌های رایج اثبات قضیه می‌دهد. بنابراین به شخص اجازه می دهد تا به درک نظری از کارایی روش های مختلف اثبات قضیه دست یابد. این یک ابزار اساسی در مطالعه تطبیقی راهبردهای اثبات قضیه است. ویرایش دوم کمی اصلاح شده است، چند خطا رفع شده و برخی ارجاعات به آثار مرتبط اضافه شده است.
توضیحاتی درمورد کتاب به خارجی
This book is unique in that it gives asymptotic bounds on the sizes of the search spaces generated by many common theorem proving strategies. Thus it permits one to gain a theoretical unterstanding of the efficiencies of many different theorem proving methods. This is a fundamental tool in the comparative study of theorem proving strategies. The second edition is slightly revised, a few errors have been fixed, and some references to related works have been added.
فهرست مطالب
Front Matter....Pages i-viii
The Propositional Complexity of First-Order Theorem Proving Strategies....Pages 1-65
The First-Order Complexity of First-Order Theorem Proving Strategies....Pages 67-155
Back Matter....Pages 157-172
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Numerical Methods for the Life Scientist: Binding and Enzyme Kinetics Calculated with GNU Octave and MATLAB
دانلود کتاب Формування фінансової стійкості місцевих бюджетів в умовах підвищення самостійності регіонів
دانلود کتاب Análisis de proyectos : casos y supuestos
دانلود کتاب On Race: 34 Conversations in a Time of Crisis
