خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

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

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

نویسنده: Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1998

تعداد صفحات: 496 [501]

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 4 مگابایت