1. data.gov.tw
  2. 國家教育研究院-電子計算機學術名詞
  3. 62191292
column value
英文名稱 tense logic language
中文名稱 時態邏輯語言