دانلود کتاب Using Sophisticated Models in Resolution Theorem Proving
کتاب استفاده از مدل های پیچیده در اثبات قضیه تفکیک پذیری نسخه زبان اصلی
دانلود کتاب استفاده از مدل های پیچیده در اثبات قضیه تفکیک پذیری بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Using Sophisticated Models in Resolution Theorem Proving
نام کتاب : Using Sophisticated Models in Resolution Theorem Proving
ویرایش : 1
عنوان ترجمه شده به فارسی : استفاده از مدل های پیچیده در اثبات قضیه تفکیک پذیری
سری : Lecture Notes in Computer Science 90
نویسندگان : David M. Sandford (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1980
تعداد صفحات : 247
ISBN (شابک) : 9783540102311 , 9783540383062
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی