خرید و دانلود نسخه کامل کتاب Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

اثبات قضیه تعاملی: هشتمین کنفرانس بین المللی، ITP 2017، برازیلیا، برزیل، 26-29 سپتامبر 2017، مجموعه مقالات

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

نویسنده: Mauricio Ayala-Rincón, César A. Muñoz (editors)

ناشر: Springer International Publishing

سال انتشار: 2017

تعداد صفحات: XIX, 532 [550]

زبان: English

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

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