The present paper represents the ordered factor of a ordered clause defined anew, and a proof of the lifting lemma under the new definition.
本文重新定义了有序子句的有序因子,证明了在这种有序因子定义下的提升引理,进而在理论上得到了多重取因子的线性序归结方法的完备性。
In good or neat order.
整齐的次序好的，井然有序的
well-ordered work habits.
井然有序的工作习惯。
an ordered reference standard.
一种有序的参照标准。
The specified sort order is not valid. Specify a valid sort order.
指定的排序次序无效。请指定有效的排序次序。
Applications (program specific and all other sounds)
应用程序(程序专有的和所有其他声音)
Having, forming, or of the nature of an umbel.
具有伞状花序的，形成伞状花序的，伞状花序的
Of, relating to, or constituting a preface; introductory.
序言的，开场白的序言的、与序言有关的或组成序言的；开场白的
Chaotic order: The unity of The Waste Land;
无序中的有序——论《荒原》结构的统一性
centromeric sequence
着丝粒序列[见于着丝粒的共有序列]
Listing program is a program with listing ability.
列表程序是具有列表能力的一种程序。
Order-Disorder Effects on Equation of State for Substitutional Alloys: Application to Ni-Al System;
替位合金物态方程的有序—无序效应
Synchronous Sequences and UIO Sequences of Finite Automata;
有限自动机的同步序列和UIO序列
The Order and Disorder of Complex Systematic Evolution Process;
复杂系统演化过程的有序性和无序性
a systematic orderly arrangement.
系统的有秩序的排列。
A program or a group of programs that is helpful to write translator programs ( i. e., compilers, interpreters, assemblers ).
有助于编写翻译程序(即编译程序、解释程序、汇编程序)的一种程序或一组程序。
audit procedure for loss contingencies
对或有损失的审计程序
a procedure or process for obtaining an objective.
有目标的程序或步骤。
OMA (orderly marketing agreement)
有秩序的市场销售协定