请输入您要查询的英文单词:
单词
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
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/15 21:29:19