Theorem Proving
367
浏览
0
关注

Automated theorem proving (also known as ATP or automated deduction) is the mathematical proof|proving of mathematical theorems by a computer program. It is currently the most well-developed subfield of automated reasoning.
相关概念
Case Study    
First Order    
主要的会议/期刊
演化趋势
Chart will load here
Theorem Proving文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜