دانلود کتاب Computer-Aided Reasoning: An Approach
کتاب استدلال به کمک رایانه: یک رویکرد نسخه زبان اصلی
دانلود کتاب استدلال به کمک رایانه: یک رویکرد بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computer-Aided Reasoning: An Approach
نام کتاب : Computer-Aided Reasoning: An Approach
عنوان ترجمه شده به فارسی : استدلال به کمک رایانه: یک رویکرد
سری : Advances in Formal Methods 3
نویسندگان : Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
ناشر : Springer US
سال نشر : 2000
تعداد صفحات : 272
ISBN (شابک) : 9781461370031
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 2 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی