證明理論

中 文 證明理論

英 文 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 【教育大辭書】