ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

دانلود کتاب ریاضیات کامپیوتر هوشمند: نهمین کنفرانس بین المللی، CICM 2016، بیالیستوک، لهستان، 25-29 ژوئیه، 2016، مجموعه مقالات

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

مشخصات کتاب

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

ویرایش: [1 ed.] 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 9791 
ISBN (شابک) : 9783319425467, 9783319425474 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: XIV, 163
[169] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 Mb 

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



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

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


در صورت تبدیل فایل کتاب Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ریاضیات کامپیوتر هوشمند: نهمین کنفرانس بین المللی، CICM 2016، بیالیستوک، لهستان، 25-29 ژوئیه، 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ریاضیات کامپیوتر هوشمند: نهمین کنفرانس بین المللی، CICM 2016، بیالیستوک، لهستان، 25-29 ژوئیه، 2016، مجموعه مقالات



این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی ریاضیات کامپیوتری هوشمند، CICM 2016، که در بیالیستوک، لهستان، در ژوئیه 2016 برگزار شد، تشکیل می شود.
10 مقاله کامل و 2 مقاله کوتاه ارائه شده با دقت بررسی و از بین یک مقاله انتخاب شدند. در مجموع 41 ارسال مقالات در بخش های موضوعی بر اساس پنج آهنگ کنفرانس سازماندهی شده اند: Calculemus; کتابخانه های دیجیتال ریاضی; مدیریت دانش ریاضی; بررسی ها و پروژه ها؛ و سیستم ها و داده ها.


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

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.



فهرست مطالب

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Mathematical Theory Exploration in Theorema: Reduction Rings....Pages 3-17
Formalization of Bing’s Shrinking Method in Geometric Topology....Pages 18-27
\(\mathsf {SC}^\mathsf{2} \) : Satisfiability Checking Meets Symbolic Computation....Pages 28-43
Formalization of Normal Random Variables in HOL....Pages 44-59
Front Matter....Pages 61-61
Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics....Pages 63-74
Front Matter....Pages 75-75
Accessing the Mizar Library with a Weakly Strict Mizar Parser....Pages 77-82
Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics....Pages 83-98
Extracting Higher-Order Goals from the Mizar Mathematical Library....Pages 99-114
Front Matter....Pages 115-115
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach....Pages 117-131
Formal Dependability Modeling and Analysis: A Survey....Pages 132-147
Front Matter....Pages 149-149
Extending E Prover with Similarity Based Clause Selection Strategies....Pages 151-156
Enhancement of Mizar Texts with Transitivity Property of Predicates....Pages 157-162
Back Matter....Pages 163-163




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