自動定理證明

中文 自動定理證明

出處電子計算機名詞

中文詞彙	英文翻譯	出處/學術領域
自動定理證明	automatic theorem proving	【電子計算機名詞】
機械式定理證明	mechanical 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	【電子計算機名詞】
自動定序	automatic sequencing	【資訊與通信術語辭典】
自動代理投標器	automatic proxy bidder	【資訊與通信術語辭典】
自動機理論	automata theory	【資訊與通信術語辭典】
自動機理論	Automata theory	【電子工程】
全自動處理	full automatic processing	【電機工程】
自動同步；自動定時	self-timing	【電機工程】
自動定向的；自動定位的	self-orientating	【電機工程】