302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
中图号O141-39
2009年
2009
搜索分类
交互式定理证明与程序开发
Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理...
2009.
按出版社分类
内蒙古人民出版社
4233
机械工业出版社
3434
化学工业出版社
2950
高等教育出版社
2584
清华大学出版社
2571
科学出版社
2552
人民邮电出版社
2383
电子工业出版社
2364
吉林大学出版社
2297
大众文艺出版社
2267
吉林出版集团有限责任公司
2254
内蒙古大学出版社
2187
新疆青少年出版社
2104
北京大学出版社
1960
北方妇女儿童出版社
1814
中国电力出版社
1683
光明日报出版社
1665
延边大学出版社
1632
中国人民大学出版社
1533
吉林美术出版社
1457
按标签分类
长篇小说－中国－当代
4145
散文－作品集－中国－当代
2664
数学课－小学－习题
2506
语文课－小学－习题
2495
诗歌－作品集－中国－当代
1640
语文课－小学－教学参考资料
1569
汉语拼音－儿童读物
1391
作文课－小学－教学参考资料
1286
数学课－小学－教学参考资料
1286
数学课－高中－教学参考资料
1037
数学课－初中－教学参考资料
1021
数学课－初中－习题
970
汉字－书法－作品集－中国－现代
969
英语课－小学－习题
926
语文课－高中－教学参考资料
925
成功心理学－通俗读物
906
英语课－高中－教学参考资料
901
英语课－初中－习题
869
中国画－作品集－中国－现代
823
英语课－初中－教学参考资料
814