| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Logic, Symbolic and mathematical.
,
检索到: 134 条结果,
检索时间: 0.062 秒
,
排序选项:
排序方式:
隐藏分类导航
- 西院西文图书保存本库 (58)
- 余区图书保存本库 (54)
- 南湖外文图书借阅区 (34)
- 余区外文图书借阅区 (20)
- 理学院资料室(南湖) (11)
- 东院外文过刊库 (1)
- 理学院西文图书 (1)
- 交通学院资料室(余区) (1)
- 汽车工程学院资料室(东院) (1)
- 物流工程系资料室(余区) (1)
馆藏地点
- logic, symbolic and mathematical (132)
- artificial intelligence (13)
- automatic theorem proving (12)
- computer science (10)
- mathematics (9)
- formal languages (7)
- set theory (7)
- information theory (5)
- comprehension (theory of knowledge) (4)
- computational complexity (4)
- geometry (4)
- lattice theory (4)
- algebra (3)
- electronic digital computers (3)
- language and languages (3)
- machine theory (3)
- mathematical analysis (3)
- predicate (logic) (3)
- algorithms (2)
- combinatorial analysis (2)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
