خرید و دانلود نسخه کامل کتاب 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

نویسنده: Jasmin Christian Blanchette, Stephan Merz (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

تعداد صفحات: XVII, 502 [514]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 14 مگابایت