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

单词	theorem proving
释义	theorem proving 【人工智能】定理验证，定理证明以上来源于：《21世纪大英汉词典》 Theorem proving定理证明学术学术★◀▶Theorem proving定理證明兩岸對照名詞—機械Theorem proving定理證明兩岸對照名詞—機械theorem proving定理證明電子計算機名詞
随便看	venture all for one's country, venture analysis venture arbitrage venture boom venture business venture buycut venture buyout venture capital venture capital fund venture capital institution venture capitalism venture capitalist venture capital {=vc} venture culture ventured venture forth venture fund venture into venture into danger, venture on venture opportunity school venture out venture profit venturer venturers