مشخصات کتاب

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

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

در صورت تبدیل فایل کتاب 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

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

کتاب های تصادفی

دانلود کتاب LSD-25 and Tryptamine Syntheses [dp

دانلود کتاب An Introduction to Network Programming with Java

دانلود کتاب Annual Review of Nursing Education, Volume 1, 2003

دانلود کتاب Le prépositionnaire : dictionnaire des verbes et adjectifs pouvant être suivis d’une préposition

دانلود کتاب Psychiatric Care of the Medical Patient