خرید و دانلود نسخه کامل کتاب Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

اثبات قضیه تعاملی: دومین کنفرانس بین المللی ، ITP 2011 ، برگ آن ، هلند ، 22-25 اوت 2011. مجموعه مقالات

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

نویسنده: Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

تعداد صفحات: 383 [394]

زبان: English

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

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