网站首页
词典首页
请输入您要查询的英文单词:
单词
branching time temporal logic
释义
branching time temporal logic
美
英
un.
分支时间时态逻辑
网络
分叉时态逻辑
英汉
网络释义
un.
1.
分支时间时态逻辑
1.
分叉时态逻辑
符号模型检测使用时态逻辑来 表达系统的性质,主要是使用
分叉时态逻辑
(
Branching Time Temporal Logic
)。分叉时间 (Br…
www.docin.com
例句
随便看
bug shoes
Bug-Smasher
bugs me
bug off
bug someone
bug out
bug spray
bugspray
Bugstomper
bugsy
bugs you
B-UGT
bugt
bug test
bugti
bug tracking
bug tracking system
bugtrap
bugui
bugula
bugula japonica
bugula neritina
Bugulma
Bugun'
Bugun
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/8 1:18:25