网站首页
词典首页
请输入您要查询的英文单词:
单词
branching time temporal logic
释义
branching time temporal logic
美
英
un.
分支时间时态逻辑
网络
分叉时态逻辑
英汉
网络释义
un.
1.
分支时间时态逻辑
1.
分叉时态逻辑
符号模型检测使用时态逻辑来 表达系统的性质,主要是使用
分叉时态逻辑
(
Branching Time Temporal Logic
)。分叉时间 (Br…
www.docin.com
例句
随便看
corsetry
corset
corset stomach
corsette
corset trimming
Corseul
Corsham
corsi
Corsia
Corsiaceae
Corsica
corsicaine
corsican
Corsicana
Corsican mint
Corsicans
Corsican wool
Corsico
corsilite
corsini
Corsinia
Corsiniaceae
corsinia marchantioides raddi
Corsinioideae
cor sinistrum
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/12 19:24:10