resolution proof procedure 消解证明过程
natural deduction proof procedure 自然演绎证明过程
maryland refutation proof procedure system 马里兰反演证明过程系统
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
Proof theory semantics provides a proof procedure, corresponds to model theory semantics, which may lead to the implementation of model theory semantics.
一般逻辑程序的证明论语义给出一个证明过程,对应于相应的模型论语义,同时也为模型论语义的实现提供基础。
The third part discusses the allotment of responsibility in the proof of the legitimacy proof procedure of confession.
第三部分是口供合法性证明中证明责任的分配。
应用推荐