دانلود کتاب Handbook of automated reasoning Vol. 1 [...]
کتاب راهنمای استدلال خودکار جلد. 1 [...] نسخه زبان اصلی
دانلود کتاب راهنمای استدلال خودکار جلد. 1 [...] بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Handbook of automated reasoning Vol. 1 [...]
نام کتاب : Handbook of automated reasoning Vol. 1 [...]
عنوان ترجمه شده به فارسی : کتاب راهنمای استدلال خودکار جلد. 1 [...]
سری :
نویسندگان : Robinson A., Voronkov A. (eds.)
ناشر : Amsterdam [u.a] Elsevier [u.a.]
سال نشر : 2001
تعداد صفحات : 969
ISBN (شابک) : 0262182211 , 9780444829498
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 12 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.