区间时态逻辑 interval temporal logic 区间时态逻辑的意思 interval temporal logic的意思区间时态逻辑的英文

区间时态逻辑

规范用词区间时态逻辑

英文对照interval temporal logic

名词审定计算机科学技术名词审定委员会

公布时间2002年

科学技术名词为您提供区间时态逻辑,interval temporal logic,区间时态逻辑的意思,interval temporal logic的意思,区间时态逻辑的英文,interval temporal logic的翻译,区间时态逻辑的翻译,区间时态逻辑是什么意思,区间时态逻辑什么意思,interval temporal logic是什么意思,interval temporal logic什么意思

区间时态逻辑相关科技名词

计算机科学理论»

摩尔机[器]Moore machine
复杂性complexity
计算复杂性computation complexity
公理复杂性axiomatic complexity
科尔莫戈罗夫复杂性Kolmogrov complexity
复杂性类complexity class
可满足性问题satisfiability problem
三元可满足性three-satisfiability
哈密顿回路问题Hamilton circuit problem
团集覆盖问题clique cover problem
并定理union theorem
加速定理speed-up theorem
旅行商问题traveling salesman problem
间隙gap
间隙定理gap theorem
完全集complete set
标签集tally set
禁集immune set
度degree
稀疏集sparse set
度量measure
指数时间exponential time
多项式空间polynomial space
多项式时间polynomial time
时间有界图灵机time-bounded Turing machine
时间复杂性time complexity
时间复杂度time complexity
时间谱系time hierarchy
空间有界图灵机space-bounded Turing machine
空间复杂性space complexity
空间复杂度space complexity
空间谱系space hierarchy
非确定计算non-deterministic computation
非确定时间复杂性non-deterministic time complexity
非确定时间谱系non-deterministic time hierarchy
非确定空间复杂性non-deterministic space complexity
线性加速定理linear speed-up theorem
恰当覆盖问题exact cover problem
难解型问题intractable problem
离线图灵机off-line Turing machine

区间时态逻辑 interval temporal logic 区间时态逻辑的意思 interval temporal logic的意思 区间时态逻辑的英文

区间时态逻辑

区间时态逻辑 interval temporal logic 区间时态逻辑的意思 interval temporal logic的意思区间时态逻辑的英文