PPTL:命题投影时间逻辑
“Propositional Projection Temporal Logic”经常缩写成PPTL,以便快捷书写、使用。
常见于综合领域,和未分类的相关。
中文意思为:“命题投影时间逻辑”。
Propositional Projection Temporal Logic具体释义
- 英文缩写:PPTL
- 英语全称: Propositional Projection Temporal Logic
- 英语发音:
- 美式英语发音:
- 英式英语发音:
- 中文意思:命题投影时间逻辑
- 中文拼音:mìng tí tóu yǐng shí jiān luó jí
- 常用领域:综合
- 相关:未分类的
英文缩写词PPTL的例句
- This thesis investigates the decision procedure for checking the satisfiability of Propositional Projection Temporal Logic(PPTL) ( PPTL ) and its expressiveness.
- 本文在研究了命题投影时序逻辑PPTL(PropositionalProjectionTemporalLogic)的语义和语法的基础上,详细阐述了它的判定过程和表达性。
- Decidability of Propositional Projection Temporal Logic(PPTL)
- 命题投影时序逻辑的可判定性
注意:
英文缩写词 PPTL 的含义,不止“Propositional Projection Temporal Logic”一个。
“PPTL”是什么缩写的意思?
本站收集到的PPTL英文缩写还有:
【医学】领域:
- Petroleum Products Testing Laboratory 缩写成 “PPTL”. 中文意思是:石油产品试验室
【综合】领域:
- Post partum tubal ligation 缩写成 “PPTL”. 中文意思是:产后输卵管结扎
- Postoperative Postpartum Tubal Ligation 缩写成 “PPTL”. 中文意思是:产后输卵管结扎术