4摇 结 束 语 笔者提出 Stutter鄄不变的命题区间时序逻辑( PITL st ) ,并证明 PITL st 可表达所有 PITL 能表达的 Stutter鄄不 变性质.
基于8个网页-相关网页
命题区间时序逻辑
Propositional interval temporal logic
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动