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