302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
几何－定理证明：机器证明
2010年
2010
搜索分类
几何定理机器证明的基本原理
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数...
2010.8
按中图号分类
中图号G634
21710
中图号G624
9088
中图号I247.5
5482
中图号G613
4374
中图号I267
2346
中图号I227
2090
中图号H31
1830
中图号G634.413
1783
中图号J222.7
1780
中图号G613.3
1584
中图号B848.4-49
1404
中图号G624.243
1392
中图号G613.2
1301
中图号G624.203
1129
中图号G898.2
1119
中图号TP3
1112
中图号G613.6
1102
中图号B821-49
1088
中图号TP391.41
1087
中图号G634.303
1073
按出版社分类
机械工业出版社
3597
内蒙古人民出版社
3594
科学出版社
3580
高等教育出版社
2895
化学工业出版社
2853
清华大学出版社
2779
吉林出版集团有限责任公司
2749
电子工业出版社
2740
人民邮电出版社
2633
吉林大学出版社
2288
北方妇女儿童出版社
1857
北京大学出版社
1780
延边大学出版社
1751
中国人民大学出版社
1709
南京大学出版社
1675
重庆出版社
1614
新疆青少年出版社
1572
陕西人民教育出版社
1563
外语教学与研究出版社
1534
中国铁道出版社
1493