哲学 逻辑学 释 tense logic 时态逻辑 哲学逻辑的一个分支，也是一种应用逻辑。
＞数理逻辑与数学基础＞数学基础＞释义 temporal logic 时态逻辑 temporal logic 时态逻辑† tense logic 时态逻辑
人工智能 人工智能逻辑 释文 temporal logic 时态逻辑
- exact Bethe ansatz solution
- exact calculation
- exact cardinality
- exact category
- exact cohomology sequence
- exact contact structure
- exact controllability
- exact couple
- exact covering system
- exact current
- exact definition
- exact diagonalization
- exact diagram
- exact diffeomorphism
- exact differential
- exact differential equation
- exact differential form
- exact differential transformation
- exact distribution
- exact divisibility
- exact division
- exact divisor
- exact endomorphism
- exact enumeration
- exact equation