機械式定理證明

中文 機械式定理證明

出處資訊與通信術語辭典

中文詞彙	英文翻譯	出處/學術領域
機械式定理證明	mechanical theorem proving	【資訊與通信術語辭典】
機械式定理證明	mechanical theorem proving	【電子計算機名詞】
定理證明程式	theorem prover	【電子計算機名詞】
自動定理證明	automatic theorem proving	【電子計算機名詞】
定理證明	theorem proving	【電子計算機名詞】
定理證明	Theorem proving	【兩岸對照名詞-機械】
定理証明機	theorem proving machine	【電子計算機名詞】
機器人問題求解定理証明	theorem proving for robot problem solving	【電子計算機名詞】
餘式定理	residue theorem	【電子工程】
多項式定理	multinomial theorem	【電機工程】
餘式定理；餘數定理；剩餘定理	remainder theorem	【電機工程】
餘數定理；餘式定理	residue theorem	【電機工程】
二項式定理	binomial theorem	【電子計算機名詞】
使用分解律的定理証明	theorem proving use of resolution	【電子計算機名詞】
定理証明系統	theorem proving system	【電子計算機名詞】
基于規則系統的定理証明	theorem proving by rule based system	【電子計算機名詞】
按分解律反演的定理証明	theorem proving by resolution refutation	【電子計算機名詞】
按分解律的定理証明	theorem proving by resolution	【電子計算機名詞】
拉密式定理	Lami's theorem	【機械工程】
餘式定理	remainder theorem	【機械工程】