分面检索

资源类型

1. 显示更多..

图书馆

1. 贵州理工学院图书馆 (38)
2. 显示更多..

馆藏地点

1. 蔡家关校区理学书库 (29)
2. 新校区图书馆 (17)
3. 蔡家关校区工学书库 (4)
4. 中文自然科学书库 (4)
5. 中文流通书库 (2)
6. 显示更多..

主题

1. 数学 (12)
2. 数学模型 (12)
3. 高等学校 (9)
4. 数理逻辑 (7)
5. 高等教育 (4)
6. 实验 (3)
7. 教材 (3)
8. 集论 (3)
9. 高等数学 (3)
10. 应用 (2)
11. 研究 (2)
12. 1900-1950 (1)
13. matlab软件 (1)
14. 世界 (1)
15. 可计算性-电子计算机 (1)
16. 多值逻辑 (1)
17. 多值逻辑(数理逻辑) (1)
18. 定理证明 (1)
19. 教学研究 (1)
20. 数学史 (1)
21. 显示更多..

著者

1. 周保平 (2)
2. 李文林 (2)
3. 汪晓银 (2)
4. (德)michael huth，(英)mark ryan著 (1)
5. (美) anil nerode, richard a. shore著 (1)
6. (美) d.e. knuth著 (1)
7. (美) 克利福德·皮寇弗著 (1)
8. (美) 帕利斯·巴尼斯著 (1)
9. (美) 迈克尔·j. 布拉德利博士著 (1)
10. (美) 马克·c. 查-卡罗尔著 (1)
11. (英) 汤姆·杰克逊著 (1)
12. a (1)
13. j.r. 纽曼编 (1)
14. mark c. chu-carroll (1)
15. r. a (1)
16. tom jackson (1)
17. yves bertot, pierre casteran著 (1)
18. 丁德成 (1)
19. 丁德成 ... [等] 译 (1)
20. 主编李彦刚, 祁忠斌 (1)
21. 显示更多..

出版日期

1. 2007 (4)
2. 2010 (4)
3. 2012 (4)
4. 2018 (4)
5. 2015 (3)
6. 2011 (2)
7. 2014 (2)
8. 2016 (2)
9. 2017 (2)
10. 2019 (2)
11. 1982 (1)
12. 1984 (1)
13. 1992 (1)
14. 1996 (1)
15. 1998 (1)
16. 2000 (1)
17. 2004 (1)
18. 2005 (1)
19. 2009 (1)
20. 显示更多..

文献类型

1. 图书 (38)
2. 显示更多..

语言种类

1. 汉语 (38)
2. 英语 (1)
3. 显示更多..