concurrent propositional projection temporal logic
1 并发命题投影时序逻辑 1.1 语法 定义 1、并发命题投影时序逻辑（Concurrent Propositional Projection Temporal Logic, CPPTL）基本公式： 1 2 1 2 1 0 1 2 :: | | | | | ( ,..
基于1个网页-相关网页
concurrent propositional projection temporal logic
并发命题投影时间逻辑
以上为机器翻译结果，长、整句建议使用 人工翻译 。