| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
symbol
,
检索到: 615 条结果,
检索时间: 0.023 秒
,
排序选项:
排序方式:
隐藏分类导航
- 余区图书保存本库 (150)
- 西院博硕论文库 (150)
- 西院西文图书保存本库 (132)
- 南湖外文图书借阅区 (84)
- 南湖图书借阅区 (77)
- 余区外文图书借阅区 (48)
- 南湖保存本图书借阅区 (47)
- 余区中文图书借阅区 (41)
- 西院中文图书借阅区 (40)
- 西院三线书库 (15)
- 东院中文图书借阅区 (13)
- 理学院资料室(南湖) (12)
- 南湖特藏阅览室 (5)
- 余区博硕论文库 (5)
- 法学与人文社会学分馆(东院) (4)
- 艺术与设计学院资料室（南湖） (3)
- 中文电子书馆藏地点1 (2)
- 管理学院资料室(（南湖) (2)
- 土木工程与建筑学院资料室(西院) (2)
- 汽车工程学院资料室(东院) (2)
馆藏地点
- logic, symbolic and mathematical (125)
- 研究 (62)
- 中国 (58)
- 国家标准 (41)
- artificial intelligence (22)
- 符号 (22)
- 符号学 (18)
- symbol (14)
- 设计 (13)
- automatic theorem proving (12)
- 世界 (12)
- mathematics (11)
- 现代 (11)
- computer science (9)
- signs and symbols (9)
- 图形符号 (9)
- 文化符号 (9)
- set theory (8)
- formal languages (7)
- reasoning (7)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
