| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Symbolic computation.
,
检索到: 35 条结果,
检索时间: 0.022 秒
,
排序选项:
排序方式:
隐藏分类导航
- 余区图书保存本库 (19)
- 西院西文图书保存本库 (13)
- 南湖外文图书借阅区 (2)
- 余区中文图书借阅区 (2)
- 余区外文图书借阅区 (2)
- 西院中文图书借阅区 (2)
- 南湖图书借阅区 (1)
- 南湖保存本图书借阅区 (1)
- 东院外文过刊库 (1)
- 西院三线书库 (1)
- 理学院资料室(南湖) (1)
馆藏地点
- artificial intelligence (12)
- logic, symbolic and mathematical (6)
- reasoning (4)
- uncertainty (information theory) (4)
- cad/cam systems (3)
- algebra (2)
- automatic theorem proving (2)
- computer algorithms (2)
- computer graphics (2)
- expert systems (computer science) (2)
- machine theory (2)
- abbreviations, english (1)
- brain (1)
- code switching (linguistics) (1)
- compilers (computer programs) (1)
- computable functions (1)
- computational neuroscience (1)
- computer simulation (1)
- computer vision (1)
- differential equations (1)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
