>

tense logic language

📖 中文释义

  1. [计] 时态逻辑语言