网站首页
词典首页
请输入您要查询的英文单词:
单词
branching time temporal logic
释义
branching time temporal logic
美
英
un.
分支时间时态逻辑
网络
分叉时态逻辑
英汉
网络释义
un.
1.
分支时间时态逻辑
1.
分叉时态逻辑
符号模型检测使用时态逻辑来 表达系统的性质,主要是使用
分叉时态逻辑
(
Branching Time Temporal Logic
)。分叉时间 (Br…
www.docin.com
例句
随便看
sans-papiers
sanspareil
sans pareil
sanspeuretsansreproche
sans peur et sans reproche
sansphrase
sans phrase
sans recours
sans rival
sansserif
sans-serif
sans serif
sans serif font
Sans-Serif font
sans serifs
sans souci
sanssouci
sanssoucis
sans taste
San Stefano
sanstefano
SAN - Storage Area Network
sansui
Sansui audio products
sansum
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2026/8/13 4:08:57