输入归结相关论文
为了判定工作流管理系统中过程定义的执行有效性，本文在深入分析工作流过程中基本关系的基础上，给出了一系列将过程定义转化为Horn集......
关于定理机器证明的归结原理已应用到人工智能的很多领域,同时提出了各种改进方法.其中,输入归结是一种非常好的推理方法,它对于Ho......
