已经限定的分面

馆藏地点:

文献类型:

1. 图书 x

语言种类:

1. 汉语 x

分面检索

资源类型

1. 纸质资源 (41)
2. 显示更多..

图书馆

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

馆藏地点

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

主题

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

著者

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

出版日期

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

文献类型

1. [图书] (41)
2. 显示更多..

语言种类

1. [汉语] (41)
2. 英语 (1)
3. 显示更多..

在馆

1. 在馆 (41)
2. 显示更多..