基本解釋

• [計算機(jī)科學(xué)技術(shù)]自動定理証明

詞組短語

短語

• automatic theorem proving research 自動定理証明研究

• automatic theorem proving更多詞組

專業(yè)釋義

計算機(jī)科學(xué)技術(shù)

• 自動定理証明