302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
集论公理系统－机器证明
2019年
2019
搜索分类
公理化集合论机器证明系统
利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq，实现Mor...
2019.12
按中图号分类
中图号G634
18182
中图号G624
13967
中图号G613
4740
中图号I287.8
4692
中图号I247.5
4179
中图号I267
3122
中图号I227
2858
中图号G613.2
1800
中图号G613.3
1681
中图号G624.243
1681
中图号G624.203
1642
中图号I287.45
1611
中图号I287.7
1481
中图号G624.233
1446
中图号G898.2
1378
中图号G624.753
1267
中图号G613.7
1224
中图号G634.413
1202
中图号J228.4
1049
中图号G624.565
1021
按出版社分类
科学出版社
3772
电子工业出版社
3039
机械工业出版社
2840
团结出版社
2830
清华大学出版社
2716
人民邮电出版社
2566
高等教育出版社
2431
延边大学出版社
2424
化学工业出版社
2409
中国社会科学出版社
2090
吉林出版集团股份有限公司
2088
吉林大学出版社
2073
上海交通大学出版社
2054
江苏人民出版社
1826
社会科学文献出版社
1820
江苏凤凰美术出版社
1763
南京大学出版社
1730
新疆青少年出版社
1687
黑龙江美术出版社
1684
中信出版社
1669