英语词汇first-order temporal logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

1
The aim of this article is to establish the completeness theorem of elementary first-order temporal logic.
本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。
2
We may also use the first-order temporal logic to set some specific formal systems for various fields of studies.
我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。
3
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

单词	first-order temporal logic
释义	first-order temporal logic 简明释义一组时态逻辑网络释义 1 ?一阶时态逻辑系统一阶时态逻辑系统双语例句 1 The aim of this article is to establish the completeness theorem of elementary first-order temporal logic. 本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。 2 We may also use the first-order temporal logic to set some specific formal systems for various fields of studies. 我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。 3 Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
随便看	begoud begouen be governed by be governed by the laws beg pardon beg ... pardon beg pardon begrace Begram be granted be grateful be grateful be be grateful for be grateful for small mercies be grateful to be grateful to for be grateful to(for) be grateful to (for ) be grateful to ... for be gratified be gratified with be great at be greater than be great fun be great importance