302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
数理逻辑－研究
2006年
2018
2017
2016
2015
2012
2011
2008
2007
2006
2004
全部
搜索分类
缺省逻辑的扩充
本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相...
2006.07
按中图号分类
中图号G634
15217
中图号G624
5180
中图号I247.5
2821
中图号G634.413
1386
中图号J222.7
1295
中图号H31
1269
中图号I267
1208
中图号TP391.41
955
中图号TP3
885
中图号I227
880
中图号TP312
877
中图号G613
789
中图号G634.303
659
中图号G624.243
646
中图号G624.203
599
中图号F270
588
中图号J214
583
中图号G634.415
559
中图号I25
543
中图号B848.4-49
524
按出版社分类
机械工业出版社
3315
清华大学出版社
2145
高等教育出版社
2077
北京教育出版社
2072
科学出版社
1773
光明日报出版社
1618
化学工业出版社
1617
电子工业出版社
1595
人民邮电出版社
1488
北京大学出版社
1314
远方出版社
1200
中国电力出版社
1103
人民卫生出版社
1095
陕西人民教育出版社
1057
内蒙古人民出版社
1050
内蒙古少年儿童出版社
1045
中国人民大学出版社
1007
中国建筑工业出版社
979
新疆人民出版社
965
中国农业出版社
948