英语词汇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. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
随便看	pyromucic nitrile pyromucyl pyromucyl acid pyromucylanhydrin pyromucylchloride pyromucylchloride pyromusic acid pyro-musical Pyron pyronaphtha pyronaridine pyronaridine phosphate pyron detector pyrone pyrone carboxylic acid pyrone detector pyronema omphalodes Pyronemataceae pyrones pyronil pyronin pyronine pyronine B pyronine dye pyronine G