دانلود کتاب Instantiation Theory: On the Foundations of Automated Deduction
کتاب نظریه نمونه سازی: در مبانی کسر خودکار نسخه زبان اصلی
دانلود کتاب نظریه نمونه سازی: در مبانی کسر خودکار بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Instantiation Theory: On the Foundations of Automated Deduction
نام کتاب : Instantiation Theory: On the Foundations of Automated Deduction
ویرایش : 1
عنوان ترجمه شده به فارسی : نظریه نمونه سازی: در مبانی کسر خودکار
سری : Lecture Notes in Computer Science 518
نویسندگان : James G. Williams (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1991
تعداد صفحات : 141
ISBN (شابک) : 3540543333 , 9783540543336
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی