为了判定工作流管理系统中过程定义的执行有效性，本文在深入分析工作流过程中基本关系的基础上，给出了一系列将过程定义转化为Horn集......

奥地利Prinzhorn集团包装纸板部的下属企业Hamburger Turkey已签署土地购买协议,在土耳其建设第三家纸厂工厂选址于伊斯坦布尔东南......

奥地利Prinzhorn集团宣布同意收购俄罗斯SFT瓦楞包装公司50%股份,将成立合资公司。SFT是俄罗斯的一个家族企业,年产能5亿平方米瓦......

关于定理机器证明的归结原理已应用到人工智能的很多领域,同时提出了各种改进方法.其中,输入归结是一种非常好的推理方法,它对于Ho......

本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。更多还原......

本文定义了广义Ｈｏｒｎ集，并在广义Ｈｏｒｎ集上证明了广义输入归结的完务性；广义输入对称调解的完备性；以及一定条件下的广义输入有向调解的完备性。......

本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。更多还原......

2012年1月13日，隶属泰国Kulthorn，集团的KKC压缩机厂（Kulthorn Kirby Public Co．，Ltd．，以下简称KKC）正式投产30周年。这一天，作为泰国第一家......

哈挺（HARDINGE）、德国当地时间2015年6月17-19日,槽加工刀具领导者Paul Horn（号恩）在其位于图宾根的工厂举行了盛大的全球技术开放日。......

设计了一个Horn集上基于广义归结方法的定理机器证明系统。在算法中使用广度优先与深度优先结合避免了传统归结的组合爆炸。分析了......