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