證明理論
中 文 證明理論
英 文 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 | 【教育大辭書】 |