在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
interval temporal logic
查词链接：
https://www.zzcmix.top/dict/interval_temporal_logic复制链接 时序逻辑
查看英英释义
abstract:
Interval temporal logic (also interval logic) is a temporal logic for representing both propositional and first-order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences.
网络释义
区间时态逻辑
区间时态逻辑(Interval Temporal Logic,ITL)是线性时间时态逻辑的一种扩展,它把时间看作 是离散的,可以很好的描述硬件电路的行为和结构.
的区间时态逻辑
给出了FCMHD的区间时态逻辑(Interval Temporal Logic，ITL)语义。作者以时段演算(Duration Calculus，DC)为工具对VHDL的子集进行了形式语义...
时段时态逻辑
时段时态逻辑
常用短语
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}