网站首页
词典首页
请输入您要查询的英文单词:
单词
branching time temporal logic
释义
branching time temporal logic
美
英
un.
分支时间时态逻辑
网络
分叉时态逻辑
英汉
网络释义
un.
1.
分支时间时态逻辑
1.
分叉时态逻辑
符号模型检测使用时态逻辑来 表达系统的性质,主要是使用
分叉时态逻辑
(
Branching Time Temporal Logic
)。分叉时间 (Br…
www.docin.com
例句
随便看
dystrobrevin
dystrochrept
dystrochrepts
dystroglycan
dystroglycans
dystropepts
dystrophia
dystrophia adiposa corneae
dystrophia adiposogenitalis
dystrophia brevicollis
dystrophia corneae reticular
dystrophia corneae reticulata
dystrophia diffusa
dystrophia difrusa
dystrophia endothelialis corneae
dystrophia epithelialis corneae
dystrophia muscularis
dystrophia myotonia
dystrophia myotonica
dystrophia regressiva
dystrophia unguium
dystrophic
dystrophic arthritis
dystrophication
Dystrophic atrophy
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/14 8:03:03