基本解释[计算机科学技术]自动定理证明词组短语短语automatic theorem proving research 自动定理证明研究automatic theorem proving更多词组专业释义计算机科学技术自动定理证明