1. data.gov.tw
  2. 國家教育研究院-電子計算機學術名詞
  3. 62192190
column value
英文名稱 theorem proving by rule based system
中文名稱 基于規則系統的定理証明