دانلود کتاب Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
by Shang-Ching Chou|
|
عنوان فارسی: ماشین آلات اثبات در هندسه: تولید خودکار قابل خواندن اثبات قضایای هندسه برای |


دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟