网站首页
词典首页
请输入您要查询的英文单词:
单词
branching time temporal logic
释义
branching time temporal logic
美
英
un.
分支时间时态逻辑
网络
分叉时态逻辑
英汉
网络释义
un.
1.
分支时间时态逻辑
1.
分叉时态逻辑
符号模型检测使用时态逻辑来 表达系统的性质,主要是使用
分叉时态逻辑
(
Branching Time Temporal Logic
)。分叉时间 (Br…
www.docin.com
例句
随便看
take-off
takeoff acceleration
takeoff accelerator
takeoff accident
take off after
take off a heavy tax
takeoff aid
take off aid
take off airspeed
takeoff airspeed
takeoff altitude
take off and land area
takeoff and landing
takeoff and landing base
take-off and landing controller
takeoff and landing deck
take off an embargo
take-off angle
takeoff area
takeoff assist
takeoff board
take off board
takeoff boost
takeoff booster
take off case
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2026/7/13 2:57:07