Index entries are determined by inference and are built based on the natural patterns contained in XML documents. NeoCore XMS creates index entries according to the following rules.
通过推断决定索引项,并且根据XML文档中包含的这种自然模式来构建索引项。
I or you come from: According to the known information on Western research, theory, inference, we can see.
我或你们从何而来:根据西方研究的已知资料,理论,推论,可知。
It discusses carefully the basic concepts and inference rule of the resolution principle. According to the discussion, resolution method is used to prove a mathematical theorem through a example.
对归结原理的基本概念与推理规则进行了讨论,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。
应用推荐