分面检索

图书馆

1. 福建省图书馆 (9)
2. 显示更多..

主题

1. 机器证明 (5)
2. 数学 (3)
3. 几何学 (2)
4. 定理证明 (2)
5. 数学理论 (2)
6. 代数几何 (1)
7. 应用软件 (1)
8. 数值计算 (1)
9. 研究 (1)
10. 组合几何 (1)
11. 计算机应用 (1)
12. 逻辑推理 (1)
13. 显示更多..

著者

1. 吴文俊 (4)
2. 高小山 (4)
3. 吴文俊著 (3)
4. 高小山编订 (3)
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. 2019 (3)
2. 1999 (1)
3. 2003 (1)
4. 2006 (1)
5. 2014 (1)
6. 2023 (1)
7. 2024 (1)
8. 显示更多..

文献类型

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

语言种类

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

在馆

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