网站首页
词典首页
请输入您要查询的英文单词:
单词
branching time temporal logic
释义
branching time temporal logic
美
英
un.
分支时间时态逻辑
网络
分叉时态逻辑
英汉
网络释义
un.
1.
分支时间时态逻辑
1.
分叉时态逻辑
符号模型检测使用时态逻辑来 表达系统的性质,主要是使用
分叉时态逻辑
(
Branching Time Temporal Logic
)。分叉时间 (Br…
www.docin.com
例句
随便看
burgor
burgos
Burgos lustre
Burgoyne
burgoynes
burgrass
bur grass
burgrave
burgrave
Burgred
Burgrieden
burg
Burgsalach
Burgschwalbach
Burgsinn
Burgsteinfurt
Burgstetten
Burgsvik
Burgthann
burgtheater
bur guard
Burgui
Burguillos
Burguillos del Cerro
Burguillos de Toledo
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/19 12:54:07