خرید و دانلود نسخه کامل کتاب Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

قضیه تعاملی اثبات: چهارمین کنفرانس بین المللی ، ITP 2013 ، رنز ، فرانسه ، 22-26 ژوئیه 2013. مجموعه مقالات

Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

نویسنده: Dominique Bolignano (auth.), Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

تعداد صفحات: 498 [508]

زبان: English

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

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