查询词典 converse theorem

general recursion theorem：一般递回定理

"通用分时系统","general purpose time-sharing system" | "一般递回定理","general recursion theorem" | "通用递回应用与算法语言","general recursive applicative and algorithmic language"

recursion theory：递归理论

recursion theorem 递归定理 | recursion theory 递归理论 | recursive algorithm 递归算法

reduction of a fraction：约分

reduction formula 归约公式 | reduction of a fraction 约分 | reduction theorem 化归定理

reduction theorem：化归定理

reduction of a fraction 约分 | reduction theorem 化归定理 | reduction to a common denominator 通分

tape reduction theorem：带缩减定理

"磁带缩减","tape reduction" | "带缩减定理","tape reduction theorem" | "磁带卷盘","tape reel"

tape reduction theorem：缩带定理

tape recorder of digital logging 数字测井磁带记录仪 | tape reduction theorem 缩带定理 | tape rerun 带反绕

reduction to a common denominator：通分

reduction theorem 化归定理 | reduction to a common denominator 通分 | reductive 可简约的

resolution refutation：归结反演,分解反驳

resolution proof tree 分解证明树 | resolution refutation 归结反演,分解反驳 | resolution theorem proving 归结定理证明

Theil's mixed regression estimator：混合回归估计量

Theil不等式系数 Theil's inequality coefficient | Theil混合回归估计量 Theil's mixed regression estimator | 定理 theorem

regular maximal left ideal：正则极大左理想

regular maximal ideal ^ 正则极大理想 | regular maximal left ideal ^ 正则极大左理想 | theorem on regular set ^ 正则集定理

sloyd：手工艺教育

slowworm 蛇蜥 | sloyd 手工艺教育 | slub 搓捻

Pete Postlethwaite：皮特.鲍斯特莱斯威特

卡迈伦.戴兹 Cameron Diaz | 皮特.鲍斯特莱斯威特 Pete Postlethwaite | 亨利.托马斯 Henry Thomas