ALTL:基于线性时态逻辑
“Ased Linear Temporal Logic”经常缩写成ALTL,以便快捷书写、使用。
常见于综合领域 ,和未分类的相关。中文意思为:“基于线性时态逻辑”。
Ased Linear Temporal Logic具体释义
- 英文缩写:ALTL
- 英语全称: Ased Linear Temporal Logic
- 英语发音:
- 美式英语发音:
- 英式英语发音:
- 中文意思:基于线性时态逻辑
- 中文拼音:jī yú xiàn xìng shí tài luó jí
- 常用领域:综合
- 相关:未分类的