temporal logic

短语

[计] 时序逻辑, 时态逻辑, 暂时逻辑

词形变化

temporal logics 复数 temporal logics

释义与例句

n.
  1. 1.

    A form of symbolic logic used to reason about properties of statements related to order and duration.

    可数 不可数 数学 哲学