tphols98

اثبات قضیه در منطق های مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHOLs’98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات

دانلود کتاب Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs’98 Canberra, Australia September 27–October 1, 1998 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHOLs’98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات) نوشته شده توسط «Tobias Nipkow (auth.) – Jim Grundy – Malcolm Newey (eds.)» اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHOLs’98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Tobias Nipkow (auth.) – Jim Grundy – Malcolm Newey…