基本解释[計算機科學技術]自動定理証明词组短语短語automatic theorem proving research 自動定理証明研究automatic theorem proving更多词组专业释义計算機科學技術自動定理証明