短语
广义归结证明树
General Resolution Principle Tree
广义锁归结
[数]
generalized lock resolution
-
general resolution principle
- 引用次数:3
, the general resolution principle cannot give the answer by itself.
这一经典的证明论问题,广义归结原理本身并没有给出解答。
参考来源 - 基于广义归结的程序综合
generalized resolution
- 引用次数:3
参考来源 - 基于算子模糊逻辑的不确定程度计算 in C
-
generalized resolution
·2,447,543篇论文数据,部分数据来源于NoteExpress