302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
中图号O18-39
2005年
2020
2017
2014
2011
2010
2007
2005
全部
搜索分类
几何定理计算机证明
本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明...
2005.
按出版社分类
机械工业出版社
3153
吉林出版集团有限责任公司
2441
高等教育出版社
2328
科学出版社
2319
清华大学出版社
2049
北京大学出版社
2025
南方出版社
1797
化学工业出版社
1595
新疆青少年出版社
1529
电子工业出版社
1447
延边人民出版社
1204
人民邮电出版社
1176
中国电力出版社
1061
中国财政经济出版社
1030
中国建筑工业出版社
992
中国人民大学出版社
985
中国农业出版社
974
中国水利水电出版社
896
东南大学出版社
878
朝华出版社
875
按标签分类
四库全书－选集
2263
长篇小说－中国－当代
2147
数学课－小学－习题
1633
语文课－小学－习题
1528
散文－作品集－中国－当代
1432
数学课－初中－习题
882
数学课－初中－教学参考资料
843
语文课－小学－教学参考资料
814
英语课－初中－习题
793
数学课－小学－教学参考资料
773
诗歌－作品集－中国－当代
709
语文课－初中－习题
706
英语课－初中－教学参考资料
691
中国画－作品集－中国－现代
649
英语课－高中－教学参考资料
645
数学课－高中－教学参考资料
619
语文课－初中－教学参考资料
576
语文课－高中－教学参考资料
540
汉字－书法－作品集－中国－现代
535
随笔－作品集－中国－当代
521