302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
数理科学和化学
数学
数理逻辑、数学基础
数理逻辑（符号逻辑）
证明论
2019年
2019
2015
2014
2013
2006
全部
搜索分类
逻辑动态系统的应用研究进展
本书主要介绍逻辑动态系统在应用方面的最新研究进展，特别关注在下列领域的应用研究：有限自动机、图论、运...
2019.8
按出版社分类
科学出版社
3772
电子工业出版社
3039
机械工业出版社
2840
团结出版社
2830
清华大学出版社
2716
人民邮电出版社
2566
高等教育出版社
2431
延边大学出版社
2424
化学工业出版社
2409
中国社会科学出版社
2090
吉林出版集团股份有限公司
2088
吉林大学出版社
2073
上海交通大学出版社
2054
江苏人民出版社
1826
社会科学文献出版社
1820
江苏凤凰美术出版社
1763
南京大学出版社
1730
新疆青少年出版社
1687
黑龙江美术出版社
1684
中信出版社
1669
按标签分类
儿童故事－图画故事－中国－当代
4689
小学数学课－习题集
4449
小学语文课－习题集
3905
散文集－中国－当代
3436
长篇小说－中国－当代
3369
诗集－中国－当代
2520
英语课－小学－习题集
2078
小学语文课－教学参考资料
1914
作文课－小学－教学参考资料
1878
小学数学课－教学参考资料
1344
学前教育－教学参考资料
1323
中学数学课－初中－习题集
1248
阅读课－小学－教学参考资料
1155
数学课－学前教育－教学参考资料
1134
智力游戏－儿童读物
1033
英语课－初中－习题集
984
童话－作品集－中国－当代
939
速算－小学－习题集
931
常识课－学前教育－教学参考资料
921
儿童小说－长篇小说－中国－当代
920