英语词汇“theorem proving system”的翻译、意思、用法、释义-英汉汉英词典

单词	theorem proving system
释义	theorem proving system定理证明系统theorem proving system定理証明系統電子計算機名詞
随便看	globoid globoidal cam globoid bodies globoid cell leukodystrophy globoid; globose;globular;spherical globoid indexing cam mechanism globoid leukodystrophy globokar globokar, vinko globophile globophobe globorotalia globose globose-head rattail globosely globoseness globose--spherical--globular globose、globous globose、globous、globy globoside globosite globosite (strengite) globosities globosity globosphaerite