خرید و دانلود نسخه کامل کتاب Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

اثبات قضیه تعاملی: ششمین کنفرانس بین المللی، ITP 2015، نانجینگ، چین، 24-27 اوت 2015، مجموعه مقالات

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

نویسنده: Christian Urban, Xingyuan Zhang (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

تعداد صفحات: 479

زبان: English

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

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