دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
دانلود کتاب استدلال خودکار و ریاضیات: مقاله هایی به یاد ویلیام د. مك كون
مشخصات کتاب
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune
ویرایش: 1 نویسندگان: Larry Wos (auth.), Maria Paola Bonacina, Mark E. Stickel (eds.) سری: Lecture Notes in Computer Science 7788 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 9783642366741, 9783642366758 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 276 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب استدلال خودکار و ریاضیات: مقاله هایی به یاد ویلیام د. مك كون: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، کاربردهای ریاضی در علوم کامپیوتر
در صورت تبدیل فایل کتاب Automated Reasoning and Mathematics: Essays in Memory of William W. McCune به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال خودکار و ریاضیات: مقاله هایی به یاد ویلیام د. مك كون نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استدلال خودکار و ریاضیات: مقاله هایی به یاد ویلیام د. مك كون
این جلد Festschrift به یاد ویلیام دبلیو مک‌کون که در سال 2011
درگذشت منتشر شده است.
این جلد شامل 13 مقاله کامل است که به ارائه تحقیقات در تمام
جنبه های استدلال خودکار و کاربردهای آن در ریاضیات می پردازد.
این مقالات به طور کامل بررسی و از بین 15 مورد ارسالی دریافت
شده در پاسخ به فراخوان مقاله صادر شده در سپتامبر 2011 انتخاب
شده اند. موضوعات تحت پوشش عبارتند از: استراتژی ها، نمایه
سازی، اثبات قضیه مبتنی بر برهم نهی، ساخت مدل، کاربرد استدلال
خودکار در ریاضیات، و همچنین برای تأیید برنامه، داده کاوی، و
ریاضیات رسمی کامپیوتری.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume is published in memory of William W.
McCune who passed away in 2011. William W. McCune was an
accomplished computer scientist all around but especially a
fantastic system builder and software engineer.
The volume includes 13 full papers, which are presenting
research in all aspects of automated reasoning and its
applications to mathematics. These papers have been
thoroughly reviewed and selected out of 15 submissions
received in response to the call for paper issued in
September 2011. The topics covered are: strategies, indexing,
superposition-based theorem proving, model building,
application of automated reasoning to mathematics, as well as
to program verification, data mining, and computer formalized
mathematics.
فهرست مطالب
Front Matter....Pages -
The Legacy of a Great Researcher....Pages 1-14
The Strategy Challenge in SMT Solving....Pages 15-44
Simple and Efficient Clause Subsumption with Feature Vector Indexing....Pages 45-67
Superposition for Bounded Domains....Pages 68-100
MACE4 and SEM: A Comparison of Finite Model Generators....Pages 101-130
Group Embedding of the Projective Plane PG(2, 3)....Pages 131-138
A Geometric Procedure with Prover9....Pages 139-150
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction....Pages 151-164
(Dual) Hoops Have Unique Halving....Pages 165-180
Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach....Pages 181-188
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants....Pages 189-228
Toward a Procedure for Data Mining Proofs....Pages 229-239
Theorem Proving in Large Formal Mathematics as an Emerging AI Field....Pages 240-257
Back Matter....Pages -
