当前位置:首页 > 名称
大约有40项符合查询结果项。(搜索耗时:0.0057秒)
为您推荐: 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
-
-
-
-
-
-
-
机器脚踏车的使用和修理
(苏)巴甫洛夫(С.М.Павлов),(苏)杰姆茨波尔格(М.Г.Гинцбург)著;李敏译1956 年出版268 页ISBN:15044·4123 -
