查询词典 reasoning

So after a long process of reasoning, making things happen and making decisions, the east wind finally landed me, with legitimate reasons, on this bustling and vibrant city in the east, a far cry from the enchantingly green wilds of the African continent in the far west.

于是经过一连串的疏通、联络和敲定，这一袭东风将我从西边遥远的非洲大陆，从野趣盎然的绿色大自然顺理成章地带到了繁华现代的东方商都。

The core content of 2 flexible language or a sale advocate USP, must have a core namely sell a site, an enough produces the remember to the end of one's life reason of the sale, or convince people by reasoning or with affection moving, ultimate goal is the sale is reached.

2软文的核心内容还是一个销售主张USP，也就是一定要有一个核心的卖点，一个足以产生销售的刻骨铭心的理由，或者以理服人或者以情动人，最终的目的是销售达成。

Metaphors as a form of reasoning by analogy involve categorization, entailment and inference.

隐喻是一种形式的类比推理涉及分类，蕴涵和推理。

The University of the West entrance examinations are to test the skills of reasoning imagination capability.

西方大学的入学考试，都是以测试学生的推理想象能力为主。

So the core of philosophy is technology epistemology and reasoning and logic of technology.

技术哲学的核心问题应该是技术认识论和技术推理逻辑问题。

Equational reasoning is particularly powerful when combined with the use of "induction" to reason about functions that are defined using recursion.

等式证明是尤其有用的，当同关于那些用递归定义的函数组合使用"推导"到原由的时候。

Because programs in haskell are pure functions, simple equational reasoning can be used to execute programs, to transform programs, to prove properties of programs, and even to derive programs directly from specifications of their behavior.

因为Haskell程序是纯函数，简单的等式证明能用于执行程序，转换程序，说明程序的属性，甚至直接从程序行为的规格说明中得到程序。

The Coq functions implementing the compiler are first-class citizens of Coq's logic and can be reasoned on directly by induction, simplifications, and equational reasoning.

实现编译器的Coq函数是Coq逻辑的"头等公民"，可以直接采用归纳、化简和等式推导等方法证明。

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序列。

Around TLDM, we discuss the definition, representation, calculation and reasoning of their relationships in two-dimensional space. TLDM also considers map design and spatial analysis based on equivalence class.

为此，本文提出并实现了一个面向对象的三级地图数据模型TLDM，并围绕该模型讨论了二维平面上地图对象以及空间关系的定义、表示、计算和推理、地图的构造和输出以及基于等价类的空间分析等。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。