1.
The Study of Reasoning Method Based on α-Resolution Principle in Lattice-valued Propositional Logic LP(X);
格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究
2.
Ⅱ-α-hyper Resolution Principle of Lattice-valued Propositional Logic LP(X)
格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理
3.
First-Principles Study on the Electronic Structures of α-SrMnO_3
α-SrMnO_3电子结构的第一性原理研究
4.
The electronic structure and mechanical property of alpha Al_2O_3 by first principles calculation
第一性原理计算α-Al_2O_3电子结构及力学性能
5.
Design and Implementation of Program Synthesis Based on Resolution Principle;
基于归结原理的程序综合设计与实现
6.
Further, resolution principle based on matrix calculus is proposed.
进一步，在万中提出了基于矩阵运算的归结原理。
7.
Generalized semi-lock resolution in boolean operator fuzzy logic
布尔算子模糊逻辑中的广义半锁归结原理
8.
Structure phase transition from α to ε in Fe under non-hydrostatic pressure:an ab initio study
非静水压条件下铁从α到ε结构相变的第一性原理计算
9.
Opposition to interracial relationships exists for different reasons, but what it usually boils down to is racism.
反对异族联姻有不同的理由，但通常可以归结为种族歧视的原因。
10.
The paper thinks the key to comprehending the work is to revert to the main persona structure in the work, not to criticize it.
理解文本的关键在于还原作品的主体人格结构，归真而不在批判。
11.
The Investigation on the Sintering Mechanism for α-Al_2O_3 under the Pressureless Sintering Condition at Constant Heating Rates;
α-Al_2O_3的恒速无压烧结机理研究
12.
charged the accident to the driver's inexperience.
将事故原因归结于驾驶员缺少经验.
13.
Generalize from
通过（有限的例证）归纳、总结出一般性原则或结论
14.
Methods Two medical examples illustrated marginal regression models and its application.
方法结合两个医学研究实例,说明边际回归模型原理,软件和实际应用。
15.
The article connect the examples, generalize overall and systematically the basic theory of agate formation.
该文在结合实物的基础上 ,比较全面、系统地归纳出 30余种玛瑙的形成原理。
16.
resolution theorem proving
归结定理证明消解式定理证明
17.
Ab initio Study of the Al/α-Al_2O_3 Bonding Character
Al/α-Al_2O_3界面结合的从头算理论研究(英文)
18.
Characterization and Growth Mechanism of Wirelike and Beltlike α-Si_3N_4 Quasi-one-dimension Structures
线型和带型α-Si_3N_4准一维结构的形成机理和表征