دانلود کتاب Automated Theorem Proving
کتاب اثبات خودکار قضیه نسخه زبان اصلی
دانلود کتاب اثبات خودکار قضیه بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Automated Theorem Proving
نام کتاب : Automated Theorem Proving
ویرایش : 2 ed.
عنوان ترجمه شده به فارسی : اثبات خودکار قضیه
سری : Artificial Intelligence / Künstliche Intelligenz
نویسندگان : Wolfgang Bibel (auth.)
ناشر : Vieweg+Teubner Verlag
سال نشر : 1987
تعداد صفحات : 289
[300]
ISBN (شابک) : 9783528185206 , 9783322901026
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 10 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.