دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 55,000
در صورت تبدیل فایل کتاب Handbook of automated reasoning Vol. 1 [...] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کتاب استدلال خودکار جلد. 1 [...] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
