| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
Coq
,
检索到: 45 条结果,
检索时间: 0.171 秒
,
排序选项:
排序方式:
隐藏分类导航
- A105新馆大书库 (4)
- A508基础科学类阅览室 (2)
- A609计算机、运输工程类阅览室 (1)
馆藏地点
- computer science (7)
- artificial intelligence (5)
- artificial intelligence (incl. robotics) (5)
- logic design (3)
- logics and meanings of programs (3)
- mathematical logic and formal languages (3)
- optical pattern recognition (3)
- pattern recognition (3)
- software engineering (3)
- algorithm analysis and problem complexity (2)
- biometrics (2)
- computer graphics (2)
- computer software (2)
- computer vision (2)
- foster, hannah webster, (2)
- image processing and computer vision (2)
- politics and literature (2)
- programming languages, compilers, interpreters (2)
- algebra (1)
- american fiction (1)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
