已经限定的分面

馆藏地点:

主题:

1. 数理逻辑 x

文献类型:

1. 图书 x

分面检索

资源类型

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

图书馆

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

馆藏地点

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

主题

1. [数理逻辑] (9)
2. 高等学校 (3)
3. 教材 (2)
4. 集论 (2)
5. 1963 (1)
6. 中国 (1)
7. 应用 (1)
8. 文集 (1)
9. 机器证明 (1)
10. 电子计算机 (1)
11. 电子计算机-计算方法 (1)
12. 算法理论 (1)
13. 计算方法-电子计算机 (1)
14. 显示更多..

著者

1. (德)michael huth，(英)mark ryan著 (1)
2. (美) anil nerode, richard a. shore著 (1)
3. 丁德成 (1)
4. 丁德成 ... [等] 译 (1)
5. 中国电子学会电子计算机专业委员会编 (1)
6. 何伟 (1)
7. 何伟，樊磊译 (1)
8. 吴永成 (1)
9. 吴骏 (1)
10. 宋方敏 (1)
11. 宋方敏, 吴骏编著 (1)
12. 尼罗德, (1)
13. 徐书润 (1)
14. 徐书润，胡国定编著 (1)
15. 徐亚涛 (1)
16. 樊磊 (1)
17. 王家 (1)
18. 瑞安 (1)
19. 石纯一 (1)
20. 石纯一，王家 编著 (1)
21. 显示更多..

出版日期

1. 2007 (3)
2. 1965 (1)
3. 1983 (1)
4. 1984 (1)
5. 1998 (1)
6. 2000 (1)
7. 2018 (1)
8. 显示更多..

文献类型

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

语言种类

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

在馆

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