resolution proof procedure 消解证明过程
natural deduction proof procedure 自然演绎证明过程
maryland refutation proof procedure system 马里兰反演证明过程系统
procedure for establishing proof 确立证据程序
proof of procedure 诉讼证据
proof show procedure 证据开示程序
But there are many limitations in their methods because the methods are not based on analysis of resolution proof procedure.
但由于他们的方法都不是从分析归结证明过程出发的,所以他们的方法存在许多局限性。
参考来源 - 从归结证明树抽取程序·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
The second part discusses the proof object of the legitimacy proof procedure of confession.
第二部分是口供合法性证明的证明对象。
The fifth part discusses the specific application in the legitimacy proof procedure of confession.
第五部分是口供合法性证明程序的具体运用。
The third part discusses the allotment of responsibility in the proof of the legitimacy proof procedure of confession.
第三部分是口供合法性证明中证明责任的分配。
应用推荐