查询词典 mapping theorem

recursion theorem：递归定理

(注:严格来说我们要援用递归定理(Recursion Theorem)来保证以上的构作方法是妥当的,在此不赘. ]

general recursion theorem：一般递归定理

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

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 归结定理证明

feel unhappy：感到不快

052 complain, v 抱怨, 诉苦; 投诉 | feel unhappy, 感到不快 | find fault, 挑剔

pinwheel operation：针轮操作

直升飞机{俚语};轮状焰火 pinwheel | 针轮操作 pinwheel operation | 停止;解散;肃静 pipe down