دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Handbook of automated reasoning Vol. 1 [...]
دانلود کتاب کتاب استدلال خودکار جلد. 1 [...]
مشخصات کتاب
Handbook of automated reasoning Vol. 1 [...]
ویرایش: نویسندگان: Robinson A., Voronkov A. (eds.) سری: ISBN (شابک) : 0262182211, 9780444829498 ناشر: Amsterdam [u.a] Elsevier [u.a.] سال نشر: 2001 تعداد صفحات: 969 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Handbook of automated reasoning Vol. 1 [...] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتاب استدلال خودکار جلد. 1 [...] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Introduction to the Theory of Linear Functional Differential Equations (Advanced Series in Mathematical Science and Engineering ; 3)
دانلود کتاب Disentangling Participation: Power and Decision-making in Participatory Design
دانلود کتاب Managing internetworks with SNMP: the definitive guide to the Simple Network Management Protocal, SNMPv2, RMON, and RMON2
