分面检索

资源类型

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

图书馆

1. 武汉理工大学图书馆 (217)
2. 管理学院 (2)
3. 交通学院 (1)
4. 理学院 (3)
5. 土木工程与建筑学院 (2)
6. 法学与人文社会学院分馆 (1)
7. 外国语学院 (7)
8. 艺术与设计学院 (3)
9. 资源与环境工程学院 (1)
10. 显示更多..

馆藏地点

1. 西院博硕论文库 (90)
2. 余区图书保存本库 (42)
3. 西院西文图书保存本库 (40)
4. 南湖外文图书借阅区 (20)
5. 南湖图书借阅区 (16)
6. 南湖保存本图书借阅区 (10)
7. 余区外文图书借阅区 (10)
8. 余区中文图书借阅区 (9)
9. 西院中文图书借阅区 (8)
10. 外国语学院资料室(鉴湖) (7)
11. 西院三线书库 (4)
12. 理学院资料室(南湖) (3)
13. 艺术与设计学院资料室（南湖） (3)
14. 余区博硕论文库 (2)
15. 东院中文图书借阅区 (2)
16. 管理学院资料室(（南湖) (2)
17. 南湖特藏阅览室 (1)
18. 东院外文过刊库 (1)
19. 中文电子书馆藏地点1 (1)
20. 交通学院资料室(余区) (1)
21. 显示更多..

主题

1. logic, symbolic and mathematical (31)
2. 中国 (28)
3. 国家标准 (20)
4. 研究 (15)
5. 符号 (14)
6. symbol (10)
7. jingchu culture (6)
8. 图形符号 (6)
9. 文化符号 (6)
10. 荆楚文化 (5)
11. 视觉符号 (5)
12. logos (symbols) (4)
13. machine theory (4)
14. mathematics (4)
15. set theory (4)
16. visual symbols (4)
17. 世界 (4)
18. 符号学 (4)
19. artificial intelligence (3)
20. computational complexity (3)
21. 显示更多..

著者

1. 中国 (19)
2. 国家标准局 (14)
3. 国家标准局批准 (10)
4. 国家技术监督局 (6)
5. 国家技术监督局发布 (6)
6. 国家标准局发布 (4)
7. bergmann, merrie (3)
8. moor, james, (3)
9. nelson, jack, (3)
10. 王军 (3)
11. association for symbolic logic, (2)
12. brown, dan, (2)
13. enderle, g (2)
14. kansy, k (2)
15. linsky, bernard (2)
16. logic colloquium (2)
17. pfaff, g (2)
18. richter, michael m., (2)
19. symposium on symbolic and algebraic manipulation (2)
20. 何方 (2)
21. 显示更多..

出版日期

1. 1984 (7)
2. 1997 (6)
3. 2023 (5)
4. 1983 (3)
5. 1986 (3)
6. 2006 (3)
7. 2017 (3)
8. 2018 (3)
9. 2022 (3)
10. 2010 (2)
11. 2015 (2)
12. 1987 (1)
13. 1994 (1)
14. 2004 (1)
15. 2007 (1)
16. 2008 (1)
17. 2009 (1)
18. 2011 (1)
19. 2013 (1)
20. 2019 (1)
21. 显示更多..

文献类型

1. 图书（纸本） (140)
2. 学位论文 (92)
3. 期刊（纸本） (1)
4. 图书（电子） (1)
5. 显示更多..

语言种类

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

在馆

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