定理證明

中文 定理證明

出處電子計算機名詞

中文詞彙	英文翻譯	出處/學術領域
機械式定理證明	mechanical theorem proving	【資訊與通信術語辭典】
自動定理證明	automatic theorem proving	【電子計算機名詞】
機械式定理證明	mechanical theorem proving	【電子計算機名詞】
定理證明	theorem proving	【電子計算機名詞】
定理證明程式	theorem prover	【電子計算機名詞】
定理證明	Theorem proving	【兩岸對照名詞-機械】
使用分解律的定理証明	theorem proving use of resolution	【電子計算機名詞】
定理証明系統	theorem proving system	【電子計算機名詞】
定理証明機	theorem proving machine	【電子計算機名詞】
機器人問題求解定理証明	theorem proving for robot problem solving	【電子計算機名詞】
基于規則系統的定理証明	theorem proving by rule based system	【電子計算機名詞】
按分解律反演的定理証明	theorem proving by resolution refutation	【電子計算機名詞】
按分解律的定理証明	theorem proving by resolution	【電子計算機名詞】
代理證明機構	agency CA	【電子計算機名詞】
明格爾定理	Menger's theorem	【電子計算機名詞】
威爾－明考司基定理	Weyl-Minkowski theorem	【經濟學】
蘭伯特定理（天體力學）	Lambert's theorem (celestial mechanics)	【測繪學辭典】
歐拉定理	Euler's theorem	【測繪學辭典】
留數定理	residue theorem	【力學名詞辭典】
表現定理	representation theorem	【力學名詞辭典】