网站首页
词典首页
请输入您要查询的英文单词:
单词
branching time temporal logic
释义
branching time temporal logic
美
英
un.
分支时间时态逻辑
网络
分叉时态逻辑
英汉
网络释义
un.
1.
分支时间时态逻辑
1.
分叉时态逻辑
符号模型检测使用时态逻辑来 表达系统的性质,主要是使用
分叉时态逻辑
(
Branching Time Temporal Logic
)。分叉时间 (Br…
www.docin.com
例句
随便看
coupler lock
coupler lock lift
coupler lock set
coupler loss
coupler measurement
coupler neck
couple roof
couple roof construction
coupler pivot lug
coupler pivot pin
coupler plug
coupler pocket
coupler point
coupler positioner
coupler reciprocity calibration
coupler response
coupler
coupler seat
coupler shank
coupler sheath
coupler slack
coupler socket
coupler tail
coupler tail pin
coupler thresholds value
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2026/10/4 15:13:21