automatic theorem proving

基本解释

• [计算机科学技术]自动定理证明

词组短语

短语

• automatic theorem proving research 自动定理证明研究

专业释义

计算机科学技术

• 自动定理证明