查询词典 logic

The theory of quantum logic, which has developed during the course of the mathematical axiomatization of the quantum theory, is copious, with a history of 80 years.

量子逻辑是伴随着量子理论的数学公理化而发展起来的一种理论，有着80年的历史和丰富的内容。

The theory of quantum logic, which has developed during the course of themathematical axiomatization of the quantum theory, is copious, with a historyof 80 years.

伴随着量子理论的数学公理化而发展起来的量子逻辑理论，已有八十年历史和丰富内容。

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

Projection temporal logic ; axiomatization ; formal methods ; verification

投影时序逻辑；公理系统；形式化方法；验证

Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.

在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。

The concept is the foundation of the logic of the axioms, rule .

数学概念不仅是建立理论系统的中心环节，同时也是提高解决问题能力的前提。

The logic behind this move, which effectively means booksellers cannot return unsold backlist books, is that backlist titles have established sales patterns, making future demand easier to predict. In 2000, 13 percent of all books distributed in Australia were returned, representing an industry-wide cost of approximately $101 million.

此举意味着，图书销售商虽然不能有效退还没有卖完的书籍，但由于库存书籍确认了销售方向，使未来的需求容易预测。2000年，澳大利亚图书总量的13%被退回，产业总费用将近101万美元。

The logic behind this move, which effectively means booksellers cannot return unsold backlist books, is that backlist titles have established sales patterns, making future demand easier to predict.

此举意味着，图书销售商虽然不能有效退还没有卖完的书籍，但由于库存书籍确认了销售方向，使未来的需求容易预测。2000年，澳大利亚图书总量的13%被退回，产业总费用将近101万美元。

This is the logic that we balance strategic backside at present.

这就是我们现在平衡战略背后的逻辑。

One is hardware, another is content or service, but the commercial logic of backside is identical however.

一个是硬件，另外一个则是内容或服务，但背后的商业逻辑却是相同的。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。