推论

Here, not only is stasis combined with enthymeme in interpreting"invention"strategy, but propriety and clarity of"style"are judged upon stasis or enthymeme, overcoming the former single dimension or category isolated criticism.

在应用分析中本文将"修辞发明"下的争议点和修辞推论相结合，并将"文体"与此两要素相联系来评断其得体性与清晰性，突破了已有修辞批评分析中的单一维度或隔离状况。

Proving theorems in Coq is an interactive process: some decision procedures automate equational reasoning or Presburger arithmetic, for example, but most of the proofs consist in sequences of "tactics" entered by the user to guide Coq in resolving proof obligations.

在Coq中的证明定理是一个交互过程：比如部分判定过程可以自动完成等式推论或者Presburger算法，不过，更多的证明则是由用户输入用以指导Coq完成证明任务的tactics序列。

You should equip yourself with some sound facts and figures on which to base your conclusions.

你需要一些有力的事实和数据来推论自己的观点。

To make an inference, you first need to estimate the probability of that error

为得出推论，你首先需要估计这一误差的概率

It could be deduced that the regions of the former were the hot ones for recombination and rich in euchromatin, while those of the latter were the cold ones and rich in heterochromatin.

可以推论，前者应当是重组较热，常染色质较为丰富的区域，而后者则为重组较冷，异染色质较为丰富的区域。

In DAPI banding pattern, the dark region is generally thought to be euchromatin rich and the bright region is heterochromatin rich. It just provided the experimental foundation for the above deduction.

在DAPI带型中，暗区一般被认为是常染色质较丰富的区域，而亮区为异染色质较丰富的区域，这正好为上述的推论提供了实验依据。

According to the complexity of decoding circuit in digital TV and the moderate speed of decoding,a modified Euclidean algorithm is proposed based on the related deduction of division with reminder of polynomials.

针对数字电视译码电路复杂，译码速度不高的特点，基于多项式带余除法的相关推论，提出一种改进型欧几里德算法。

The balance between the exigencies of time and schedule, on the one hand, and quality of the inferences presents a challenge that too often ends up with the quality of the measures lacking the basic warrants needed.

一方面，平衡紧迫的时间和日程与做出推论的质量是一项挑战性工作，常常以无法满足基本需求的测评质量而告终。

Third, the argument that social finance exist after extinguishment of a country, that is, in a communist society was deducted by analyzing some basic theory about individual and society, individual and nature while at the same time learning from public administration.

关于在国家消亡后的共产主义社会仍然存在社会财政关系的结论，是通过分析马克思主义关于个人与社会、个人与自然的基本理论，同时借鉴公共行政学的科学成果，通过抽象分析和逻辑推论后得出的。

As they extrapolate the rising trend of property prices, they are willing to buy land at higher prices.

因为他们推论楼价会继续上涨，他们愿意为土地支付高价。4）没有土地？

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。