دانلود کتاب Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
by Tobias Nipkow (auth.)
|
عنوان فارسی: اثبات قضیه در منطق های مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHOLs'98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات |