网友评论
我也找茬
评分:
1分
2分
3分
4分
5分
平均得分:
0
分，共有
人参与评分
查看原文：
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
请文明发言
网友找茬仅供网友表达个人看法，并不表明本站同意其观点或证实其描述
我也找茬
验证码：
匿名发表
