دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
دانلود کتاب اثبات قضیه در منطق مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHL 98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات
مشخصات کتاب
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
ویرایش: [1 ed.] نویسندگان: Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (eds.) سری: Lecture Notes in Computer Science 1479 ISBN (شابک) : 3540649875, 9783540649878 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 496 [501] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 35,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات قضیه در منطق مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHL 98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Connect Core Concepts in Health: BRIEF
دانلود کتاب Becoming Israeli: National Ideals and Everyday Life in the 1950s
