基本解釋

• [計算機科學技術]自動定理證明

詞組短語

短語

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

• automatic theorem proving更多詞組

專業(yè)釋義

計算機科學技術

• 自動定理證明