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.
第三部分是口供合法性证明中证明责任的分配。
应用推荐