automatic theorem proving

[计] 自动定理证明

※ 以上参考资料就是本英汉词典详细汇总的单词automatic theorem proving的翻译英语含义，如有错漏请向我们提供反馈意见。