| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Symbols.
,
检索到: 1,774 条结果,
检索时间: 0.266 秒
,
排序选项:
排序方式:
隐藏分类导航
- A732研究型图书馆二 (60)
- A501语言类阅览室 (22)
- A512文史类阅览室 (18)
- A105新馆大书库 (17)
- A508基础科学类阅览室 (13)
- A728研究型图书馆一 (13)
- A502社会科学类阅览室 (9)
- A609计算机、运输工程类阅览室 (6)
- A402财政、金融、文教类阅览室 (4)
- A613工业技术类阅览室 (3)
- 公费自购图书库 (2)
- A211海大文库 (1)
- A312马克思主义专题图书馆 (1)
- A401法学类阅览室 (1)
- A408经济、贸易运输类阅览室 (1)
- A602珍品室 (1)
- 二楼人文经典推荐区 (1)
馆藏地点
- computer science (354)
- mathematics (271)
- logic, symbolic and mathematical (264)
- algebra (228)
- symbolic and algebraic manipulation (193)
- mathematical logic and foundations (182)
- mathematical logic and formal languages (153)
- artificial intelligence (125)
- artificial intelligence (incl. robotics) (119)
- computer software (110)
- logic design (105)
- logics and meanings of programs (102)
- algorithm analysis and problem complexity (100)
- computational complexity (96)
- discrete mathematics in computer science (94)
- engineering (74)
- software engineering (68)
- philosophy (50)
- logic (48)
- algorithms (47)
主题
- 不在馆 (1613)
- 在馆 (161)
在馆
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
