دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
دانلود کتاب اثبات قضیه تعاملی: هفتمین کنفرانس بین المللی، ITP 2016، نانسی، فرانسه، 22-25 اوت 2016، مجموعه مقالات
مشخصات کتاب
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
ویرایش: [1 ed.]
نویسندگان: Jasmin Christian Blanchette. Stephan Merz (eds.)
سری: Lecture Notes in Computer Science 9807
ISBN (شابک) : 9783319431437, 9783319431444
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: XVII, 502
[514]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 14 Mb
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات قضیه تعاملی: هفتمین کنفرانس بین المللی، ITP 2016، نانسی، فرانسه، 22-25 اوت 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
