propositional linear temporal logic

英 美
  • 命题线性时序逻辑
  • linear adj.直线的;长度的;线性的
  • logic n.逻辑;逻辑学;条理性;推理
  • propositional adj.命题的
  • temporal adj.现世的;暂时的;当时的;太阳穴的;颞的