دانلود کتاب Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
by Dominique Bolignano (auth.)
|
عنوان فارسی: تعاملی قضیه اثبات: 4 کنفرانس بین المللی، ITP 2013، رن، فرانسه، 22-26 ژوئیه، 2013. مجموعه مقالات |