دانلود کتاب Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
کتاب اثبات ماشینی در هندسه: تولید خودکار اثبات های خواندنی برای قضایای هندسه نسخه زبان اصلی
دانلود کتاب اثبات ماشینی در هندسه: تولید خودکار اثبات های خواندنی برای قضایای هندسه بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
نام کتاب : Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
عنوان ترجمه شده به فارسی : اثبات ماشینی در هندسه: تولید خودکار اثبات های خواندنی برای قضایای هندسه
سری : Series on applied mathematics, v. 6
نویسندگان : Shang-Ching Chou, Xiao-Shan Gao, Jingzhong Zhang
ناشر : World Scientific
سال نشر : 1994
تعداد صفحات : 476
ISBN (شابک) : 9810215843 , 9789810215842
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی