分面检索

资源类型

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

图书馆

1. 武汉理工大学图书馆 (23)
2. 管理学院 (1)
3. 理学院 (1)
4. 显示更多..

馆藏地点

1. 余区图书保存本库 (13)
2. 西院西文图书保存本库 (4)
3. 西院博硕论文库 (4)
4. 南湖外文图书借阅区 (2)
5. 东院外文过刊库 (1)
6. 管理学院资料室(（南湖) (1)
7. 理学院资料室(南湖) (1)
8. 显示更多..

主题

1. artificial intelligence (6)
2. 中国 (6)
3. 国家标准 (6)
4. 图形符号 (6)
5. logic, symbolic and mathematical (5)
6. reasoning (3)
7. uncertainty (information theory) (3)
8. machine theory (2)
9. automatic theorem proving (1)
10. city (1)
11. city image (1)
12. computable functions (1)
13. context (1)
14. expert systems (computer science) (1)
15. green technology (1)
16. image design (1)
17. model theory (1)
18. pictogram (1)
19. post-pandemic era (1)
20. reconstructed design (1)
21. 显示更多..

著者

1. 中国 (6)
2. 国家技术监督局 (6)
3. 国家技术监督局发布 (6)
4. european conference on symbolic and quantitative approaches to reasoning and uncertainty (3)
5. association for symbolic logic, (2)
6. campbell, j. a., (2)
7. international conference on artificial intelligence and symbolic mathematical computation (2)
8. symposium on symbolic and algebraic manipulation (2)
9. 王军 (2)
10. 199 (1)
11. 700 (1)
12. 701 (1)
13. 702 (1)
14. 703 (1)
15. 704 (1)
16. american welding society (1)
17. association for symbolic logic (1)
18. aws committee on definitions and symbols (1)
19. aws committee on definitions, symbols, and metric practice (1)
20. benferhat, salem, (1)
21. 显示更多..

出版日期

1. 1997 (6)
2. 显示更多..

文献类型

1. 图书（纸本） (20)
2. 学位论文 (4)
3. 期刊（纸本） (1)
4. 显示更多..

语言种类

1. 汉语 (8)
2. 显示更多..

在馆

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