دانلود کتاب Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
by Don Batory (auth.)
|
عنوان فارسی: سلامت قضیه اثبات: دومین کنفرانس بین المللی، ITP 2011، برگ EN دال، هلند، 22-25 اوت، 2011. مجموعه مقالات |