分面检索

图书馆

1. 黑龙江省版本图书馆 (18)
2. 黑龙江省图书馆 (113)
3. 黑龙江省社会主义学院图书馆 (1)
4. 显示更多..

馆藏地点

1. 保存本书库 (70)
2. 中文书刊借阅室 (26)
3. 版本图书馆 (18)
4. 科技图书保存本 (17)
5. 地下库五 (11)
6. 社科图书保存本 (10)
7. 地下库三 (4)
8. 24小时自助图书馆 (3)
9. 省新闻出版局 (3)
10. 捐赠作品展示室 (1)
11. 流动分馆中转库4 (1)
12. 统战阅览室 (1)
13. 显示更多..

主题

1. 数理逻辑 (68)
2. 离散数学 (20)
3. 数学 (9)
4. 电子计算机 (4)
5. 集论 (4)
6. 逻辑学 (3)
7. 中国 (2)
8. 信息学 (2)
9. 数学基础 (2)
10. cantor集 (1)
11. 《周易》 (1)
12. 世界 (1)
13. 二项式系数 (1)
14. 人工智能 (1)
15. 决策 (1)
16. 周易 (1)
17. 存在 (1)
18. 密码协议 (1)
19. 应用数理逻辑 (1)
20. 当代 (1)
21. 显示更多..

著者

1. (英)图灵基金会著 (6)
2. 图灵基金会 (6)
3. 郭葆明 (6)
4. 郭葆明译 (6)
5. 莫绍揆 (5)
6. 陆钟万 (4)
7. p (3)
8. 刘新文 (3)
9. 莫绍揆著 (3)
10. (英)亚历克斯·贝洛斯(alex bellos)著 (2)
11. a (2)
12. suppes (2)
13. 吴允曾 (2)
14. 宋文淦 (2)
15. 宋文淦等译 (2)
16. 张金马 (2)
17. 斯穆里安 (2)
18. 昂扬 (2)
19. 昂扬编著 (2)
20. 朱梧槚 (2)
21. 显示更多..

出版日期

1. 2018 (9)
2. 2022 (8)
3. 1984 (7)
4. 2010 (7)
5. 1990 (6)
6. 2017 (6)
7. 1982 (5)
8. 1989 (5)
9. 1992 (5)
10. 2011 (5)
11. 2012 (5)
12. 1987 (4)
13. 1991 (4)
14. 2006 (4)
15. 2013 (4)
16. 2014 (4)
17. 2016 (4)
18. 2015 (3)
19. 2020 (3)
20. 1980 (2)
21. 显示更多..

文献类型

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

语言种类

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