当前位置：首页 > 名称
大约有9,000项符合查询结果项。（搜索耗时：0.0135秒）
为您推荐： 清华大学机械原理机器零件教研组及工程画教研组 西北工业大学机械原理及机械零件教研组 清华大学机械制造系机械原理及机械零件教研组改编 机械原理及机械零件教研室 西安交通大学机械原理及机械零件教研室译 清华大学画法几何及工程画教研组译
-
-
-
-
-
-
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
玩具冒险王 雷普斯和机器地狱的囚徒
彭扬著2015 年出版250 页ISBN：9787534689086在玩具饲育场中，雷普斯也经历了接踵而来的怪事。重重的鬼影让他们吓得不敢喘息，来历不明的黑暗力量的附身让小伙伴们手足相残，赢取火系徽章之路变得艰难崎岖。但是，这一切仅仅只是开始。极邪的恶灵拉莫扎为何要...
学科分类