دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.) سری: Lecture Notes in Computer Science 6898 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642228636, 3642228631 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 383 [394] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
در صورت تبدیل فایل کتاب Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات قضیه تعاملی: دومین کنفرانس بین المللی ، ITP 2011 ، برگ آن ، هلند ، 22-25 اوت 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی اثبات
قضیه تعاملی، ITP 2011، برگزار شده در برگ ان دال، هلند، در
آگوست 2011 است.
25 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و از 50 ارسال
از جمله موضوعات تحت پوشش عبارتند از تولید نمونه متقابل،
تأیید، اعتبارسنجی، بازنویسی عبارت، اثبات قضیه، نظریه
محاسباتی، ترجمه از یک فرمالیسم به دیگری، و همکاری بین
ابزارها. چندین مطالعه موردی تأیید با کاربردهایی در هندسه
محاسباتی، یکسان سازی، تحلیل واقعی و غیره ارائه شد.
This book constitutes the refereed proceedings of the Second
International Conference on Interactive Theorem proving, ITP
2011, held in Berg en Dal, The Netherlands, in August
2011.
The 25 revised full papers presented were carefully reviewed
and selected from 50 submissions. Among the topics covered
are counterexample generation, verification, validation, term
rewriting, theorem proving, computability theory,
translations from one formalism to another, and cooperation
between tools. Several verification case studies were
presented, with applications to computational geometry,
unification, real analysis, etc.