دانلود کتاب Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
by Mike Gordon (auth.)
|
عنوان فارسی: قضیه اثبات در عالی سفارش منطق: 21 کنفرانس بین المللی، TPHOLs 2008، مونترال، کانادا، 18-21 اوت، 2008. مجموعه مقالات |