302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
数理逻辑－高等学校－教材
2007年
2020
2019
2017
2016
2014
2013
2012
2011
2010
2008
全部
搜索分类
面向计算机科学的数理逻辑
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、...
2007.06
按中图号分类
中图号G634
25254
中图号G624
8412
中图号I247.5
3499
中图号G613
1922
中图号G634.413
1671
中图号H31
1567
中图号J222.7
1559
中图号I267
1399
中图号I227
1103
中图号TP312
1082
中图号TP3
1016
中图号TP391.41
964
中图号G624.203
776
中图号G634.303
772
中图号B848.4-49
659
中图号H319.9
658
中图号G624.243
644
中图号H125.4
640
中图号B821-49
640
中图号H319.4：I
635
按出版社分类
北京教育出版社
3612
中国少年儿童出版社
3458
机械工业出版社
3305
延边大学出版社
2829
清华大学出版社
2733
内蒙古人民出版社
2598
高等教育出版社
2517
科学出版社
2260
电子工业出版社
2158
化学工业出版社
2076
远方出版社
1842
北京大学出版社
1753
内蒙古少年儿童出版社
1751
人民邮电出版社
1718
光明日报出版社
1716
陕西人民教育出版社
1649
中国电力出版社
1449
陕西旅游出版社
1429
人民卫生出版社
1323
中国人民大学出版社
1252