英语词汇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. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
随便看	degeneratio,cristallinea cornea hereditaria degeneratio fibrinosa degeneratio hyaloidea granuliformis corneae degeneratio,hyaloidea granuliformis corneae degeneratio,hyaloideoretinalis degeneratio,micans degeneratio micans degeneration degeneration coefficient degeneration concentration degeneration control degeneration cyst Degeneratio neuroni degeneration factor degeneration feedback amplifier degeneration form Degeneration,Frontotemporal Lobar Degeneration,Hepatocerebral Degeneration,Hepatolenticular degeneration hysteria degenerationist Degeneration,Macular degeneration methods Degeneration,Neuron Degeneration,Nissl