ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Automated reasoning and its applications : essays in honor of Larry Wos

دانلود کتاب استدلال خودکار و کاربردهای آن: مقالات به افتخار لری ووس

Automated reasoning and its applications : essays in honor of Larry Wos

مشخصات کتاب

Automated reasoning and its applications : essays in honor of Larry Wos

ویرایش: 1St Edition 
نویسندگان: , ,   
سری:  
ISBN (شابک) : 0262220555, 9780262220552 
ناشر: The MIT Press 
سال نشر: 1997 
تعداد صفحات: 260 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Automated reasoning and its applications : essays in honor of Larry Wos به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب استدلال خودکار و کاربردهای آن: مقالات به افتخار لری ووس



هدف اصلی استدلال خودکار (که شامل استنتاج خودکار و اثبات قضیه خودکار می شود) توسعه برنامه های رایانه ای است که از استدلال منطقی برای حل طیف گسترده ای از مسائل، از جمله سؤالات باز استفاده می کنند. مقالات در استدلال خودکار و کاربردهای آن به افتخار لری ووس، یکی از بنیانگذاران این رشته نوشته شده است. ووس نقش اصلی را در شکل‌گیری «فرهنگ» استدلال خودکار در آزمایشگاه ملی آرگون ایفا کرد. او و همکارانش پیوسته به دنبال ساختن سیستم هایی هستند که فضاهای بزرگی را برای راه حل مسائل دشوار و اثبات قضایای مهم جستجو می کنند. آنها موفقیت های قابل توجه متعددی داشته اند. مشارکت کنندگان از جمله محققان پیشرو در جهان در استدلال خودکار هستند. مقالات آنها تئوری، طراحی سیستم نرم افزاری و استفاده از این سیستم ها را برای حل مشکلات واقعی پوشش می دهد. مشارکت کنندگان: رابرت اس. بویر، شانگ-چینگ چو، شیائو-شان گائو، لارنس هنسشن، دیپاک کاپور، کنت کانن، یوینگ لوسک، ویلیام مک کیون، جی استروتر مور، راس اوربیک، لارنس سی. پالسون، هانتائو ژانگ، جینگ-ژونگ ژانگ.


توضیحاتی درمورد کتاب به خارجی

The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The essays in Automated Reasoning and Its Applications were written in honor of Larry Wos, one of the founders of the field. Wos played a central role in forming the ''culture'' of automated reasoning at Argonne National Laboratory. He and his colleagues consistently seek to build systems that search huge spaces for solutions to difficult problems and proofs of significant theorems. They have had numerous notable successes.The contributors are among the world's leading researchers in automated reasoning. Their essays cover the theory, software system design, and use of these systems to solve real problems.Contributors : Robert S. Boyer, Shang-Ching Chou, Xiao-Shan Gao, Lawrence Henschen, Deepak Kapur, Kenneth Kunen, Ewing Lusk, William McCune, J Strother Moore, Ross Overbeek, Lawrence C. Paulson, Hantao Zhang, Jing-Zhong Zhang.



فهرست مطالب


 Content: 1. Wos and Automated Deduction at ANL: The Ethos / Ross Overbeek and Ewing Lusk --
 2. A Completeness Result for Linked Resolution / Kenneth Kunen --
 3. Generic Automatic Proof Tools / Lawrence C. Paulson --
 4. Automated Generation of Construction Steps for Geometric Constraint Problems / Shang-Ching Chou, Xiao-Shan Gao and Jing-Zhong Zhang --
 5. 33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies / William McCune --
 6. Specifying Latin Square Problems in Propositional Logic / Hantao Zhang --
 7. Mechanized Formal Reasoning about Programs and Computing Machines / Robert S. Boyer and J. Strother Moore --
 8. Constructors Can Be Partial, Too / Deepak Kapur




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

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