| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Logic.
,
检索到: 4,018 条结果,
检索时间: 0.079 秒
,
排序选项:
排序方式:
隐藏分类导航
- A502社会科学类阅览室 (197)
- A613工业技术类阅览室 (105)
- A732研究型图书馆二 (95)
- A412经济学类阅览室 (84)
- A105新馆大书库 (80)
- A401法学类阅览室 (76)
- A609计算机、运输工程类阅览室 (76)
- A501语言类阅览室 (68)
- A408经济、贸易运输类阅览室 (65)
- A402财政、金融、文教类阅览室 (56)
- A508基础科学类阅览室 (45)
- A312马克思主义专题图书馆 (19)
- 公费自购图书库 (7)
- A512文史类阅览室 (6)
- 订购中 (5)
- A728研究型图书馆一 (4)
- 丢失待核查 (4)
- 二楼每周新书展区 (3)
- 外语资料室(不外借) (2)
- A602珍品室 (2)
馆藏地点
- computer science (1600)
- logic design (886)
- mathematical logic and formal languages (835)
- artificial intelligence (825)
- artificial intelligence (incl. robotics) (815)
- logics and meanings of programs (812)
- software engineering (711)
- programming languages, compilers, interpreters (505)
- programming techniques (371)
- computer communication networks (355)
- computer software (334)
- algorithm analysis and problem complexity (330)
- 研究 (321)
- engineering (306)
- computation by abstract devices (303)
- information systems (284)
- logic, symbolic and mathematical (264)
- logic (227)
- mathematics (220)
- information storage and retrieval (191)
主题
- 不在馆 (3090)
- 在馆 (928)
在馆
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
