| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
PROOF
,
检索到: 977 条结果,
检索时间: 0.234 秒
,
排序选项:
排序方式:
隐藏分类导航
- A401法学类阅览室 (27)
- A728研究型图书馆一 (24)
- A732研究型图书馆二 (22)
- A508基础科学类阅览室 (13)
- A105新馆大书库 (10)
- A501语言类阅览室 (8)
- A408经济、贸易运输类阅览室 (6)
- A412经济学类阅览室 (5)
- A402财政、金融、文教类阅览室 (4)
- A502社会科学类阅览室 (4)
- A609计算机、运输工程类阅览室 (2)
- 公费自购图书库 (1)
- A512文史类阅览室 (1)
- A613工业技术类阅览室 (1)
- 法学院资料室(不外借) (1)
馆藏地点
- mathematics (289)
- computer science (178)
- mathematical logic and formal languages (75)
- algebra (74)
- logic, symbolic and mathematical (65)
- mathematical logic and foundations (56)
- computer software (53)
- logic design (51)
- logics and meanings of programs (51)
- algorithm analysis and problem complexity (50)
- artificial intelligence (48)
- artificial intelligence (incl. robotics) (48)
- engineering (47)
- analysis (46)
- global analysis (mathematics) (46)
- differential equations, partial (42)
- physics (38)
- computational complexity (37)
- software engineering (37)
- discrete mathematics in computer science (36)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
