دانلود کتاب Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
by Jasmin Christian Blanchette
|
عنوان فارسی: تئوری تعاملی اثبات شده: هفتمین کنفرانس بین المللی ITP 2016، نانسی، فرانسه، 22-25 اوت 2016، پرونده ها |