證明理論
中 文 證明理論
英 文 proof theory
出 處 資訊與通信術語辭典
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
證明理論 | proof theory | 【資訊與通信術語辭典】 |
證明理論 | proof theory | 【電子計算機名詞】 |
不證自明理論 | Axiomatic Theory | 【教育大辭書】 |
證據理論 | evidence theory | 【電子計算機名詞】 |
理論證實;理論驗證 | theory verification | 【新聞傳播學名詞】 |
實證性理論 | Positive Theory | 【管理學名詞】 |
機械式定理證明 | mechanical theorem proving | 【資訊與通信術語辭典】 |
自動定理證明 | automatic theorem proving | 【電子計算機名詞】 |
代理證明機構 | agency CA | 【電子計算機名詞】 |
機械式定理證明 | mechanical theorem proving | 【電子計算機名詞】 |
定理證明 | theorem proving | 【電子計算機名詞】 |
定理證明程式 | theorem prover | 【電子計算機名詞】 |
定理證明 | Theorem proving | 【兩岸對照名詞-機械】 |
基礎會計理論說明書 | Statement of Basic Accounting Theory | 【管理學名詞】 |
證明;論證;實地說明;表演示範 | demonstration | 【電機工程】 |
討論,議論,辯論,說服,證明 | argue | 【電力工程】 |
說服論證理論 | persuasive arguments theory | 【心理學名詞】 |
證明,論證,實地說明,表演示範 | demonstration | 【電力工程】 |
證明論 | proof theory | 【數學名詞】 |
規範及描述理論 | Normative-Descriptive Theories | 【教育大辭書】 |