دانلود کتاب Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
by Flemming Andersen
|
عنوان فارسی: اثبات قضیه منطق مرتبه بالاتر و کاربردهای آن: ششمین کارگاه بین المللی، HUG '93 Vancouver, B. C., Canada, 11-13 اوت 1993 مجموعه مقالات |