1.
We prove thatλ- resolvent of C1 and C2 is aλ- logical consequence of( C1∧ C2) and compleieness theorem ofλ- resolution.
证明了两子句的的λ归结式是这两个子句的λ逻辑结果,从而完成了λ归结的完备性定理的证明。
2.
production system for resolution refutation
归结反演的产生式系统
3.
resolution theorem proving
归结定理证明消解式定理证明
4.
Summarization of Usages of "A Modal Verb+have done"Structure in English;
英语"情态动词+不定式完成式"结构用法归纳
5.
Chi Zijian s Tenderhearted World View Considering "the Reunion Structure";
从“回归式结构”看迟子建的温情主义世界观
6.
There are two objects which born architecture; Stone and trees. And there is also a reason that they are from the most ancient habitation of carves living and trees living.
建筑归结于两个本源:岩石,与树木.而这应该又归结于居住的最原始模式:穴居巢居.
7.
(3) Summarizing the structure model with typical characters of coalmine information system.
(3)总结与归纳具有典型特征的矿井信息系统的结构模式；
8.
resolution within AND/OR graphs
“与或”图中的归结
9.
By the method, the two-dimensional implicit method can be induced in soluting tridiagonal linear equation group.
这种方法可以将二维隐式方法归结为求解三对角线性方程组。
10.
His success as a novelist can be ascribed to the simple formula of sex, violence and suspense.
作为小说家，他的成功可以归结于性、力和悬念这一简单的公式。
11.
Consequently, it used C.F.A. to test efficiencies and fixed.
量化的归纳上接续以验证式因素分析法测试并验证结论。
12.
The Returning of Sports to Education--Exploring the Pattern of Beijing University of Technology Football Team;
体育回归教育——北京理工大学足球队“体教结合”模式探悉
13.
The Formal Description and Implement Approach of Recursive Query in Tree-Like Structure;
类树结构关系中递归查询的形式描述与实现方法
14.
China's multiple-voice folksongs fall into five categories:
中国多声部民歌的织体结构即声部的结合方式有多种形态，归纳纳起来，共有以下5种:
15.
What does this accusation reduce itself to?
这种责难归结为什么呢？
16.
To form a concept inductively.
由归纳法得出一结论
17.
induction variable expression analysis
归纳变量表达式分析
18.
Markov autoregressive scheme
马尔可夫自回归型式