- 归结 sum up; put in a nutshell
- 定理 theorem
- 归结定理证明 resolution theorem proving
- 归结定理证明消解式定理证明 resolution theorem proving
- 强终结定理 strong terminating theorem
- 归结 1.(总括而求得结论) sum up; put in a nutshell 问题虽然很复杂, 归结起来不外三个方面。 the questions, though very complicated, may be summed up as coming under three categories.2.(结局) end (of a story, etc.)3.[力学] resolution; 归结式 resolvents
- 未结定单 open order
- 终结定界符 ending delimiter
- 归结式 resolvents
- 归结为 boil down to; come down to; result
- 归结于 attribute to; resolve into; to explain by indicating a cause
- 定理 (已经证明正确,可以作为原则或规律的命题或公式) theorem 基本定理 fundamental theorem; 几何定理 geometrical theorems; 定理验证[明] theorem proving
- 熬浓,简化,归结为 boil down
- 递归结构 recursive structure
- 凡人归结 clayton emery netheril mortal consequences
- 广义归结 generalized resolution
- 广义锁归结 generalized lock resolution
- 归结起来是 boil down to
- 归结为四类 fall into four categories
- 归结原理 resolution (logic)
- 归结主体 resolution agent
- 归结子句 apodosis
- 锁分解, 锁归结 lock resolution
- 一阶归结 resolution
- 意味着,归结为 boil down to
"查查词典"手机版
千万人都在用的超大词汇词典翻译APP
Last modified time:Mon, 11 Aug 2025 00:29:56 GMT