已经限定的分面

图书馆:

1. 贵州理工学院图书馆 x

馆藏地点:

1. 图书密集书库 x

语言种类:

1. 汉语 x

分面检索

资源类型

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

图书馆

1. [贵州理工学院图书馆]
2. 贵州理工学院图书馆
3. 显示更多..

馆藏地点

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

主题

1. 数学 (2)
2. 数理逻辑 (2)
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)
15. 文集 (1)
16. 方程组-线性方程-计算方法 (1)
17. 普通物理学-程序设计 (1)
18. 普通物理学-计算机辅助教学 (1)
19. 机器证明 (1)
20. 机器证明:定理证明-几何 (1)
21. 显示更多..

著者

1. 任毅 (2)
2. 汪世铭 (2)
3. 汪世铭,任毅编 (2)
4. (美) d.e. knuth著 (1)
5. (美)包约翰(pao,yoh-han)著 (1)
6. (美)吉勒特(b.e. gillett)著 (1)
7. (美)埃利希(ehrlich,r.)著 (1)
8. (美)斯科格,(美)韦斯特著 (1)
9. (美)福赛思(g.e.forsythe),(美)莫勒(c.b.moler)著 (1)
10. (美)米特拉(r.mittra)编著 (1)
11. (苏)а.н.马特维也夫主编 (1)
12. ehrlich (1)
13. forsythe (1)
14. gillett (1)
15. mittra (1)
16. moler (1)
17. pao (1)
18. 《物理学和计算机》翻译组译 (1)
19. 中国电子学会电子计算机专业委员会编 (1)
20. 刘玉柱 (1)
21. 显示更多..

出版日期

1. 1982 (4)
2. 1983 (3)
3. 1984 (2)
4. 1986 (2)
5. 1965 (1)
6. 1979 (1)
7. 1987 (1)
8. 1990 (1)
9. 1992 (1)
10. 2000 (1)
11. 2001 (1)
12. 2010 (1)
13. 2012 (1)
14. 显示更多..

文献类型

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

语言种类

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

在馆

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