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