当前位置:首页 > 名称
大约有3,518项符合查询结果项。(搜索耗时:0.0565秒)
为您推荐: 几何定理机器证明的案例 分析基础机器证明系统 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
-
-
机器生产快速准备新法
(苏)波尔瓦托夫(Н.А.Порватов)著;中华人民共和国第一机械工业部第一机器工业管理局通用机械研究所译1957 年出版171 页ISBN:15033·586 -
-
-
-
-
-
学科分类
出版时间
