基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]自動(dòng)定理証明詞組短語(yǔ)短語(yǔ)automatic theorem proving research 自動(dòng)定理証明研究automatic theorem proving更多詞組專(zhuān)業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)自動(dòng)定理証明