| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
计算机
,
检索到: 10 条结果,
检索时间: 0.032 秒
,
排序选项:
排序方式:
隐藏分类导航
- 数学 (2)
- 数理逻辑 (2)
- 数理逻辑-应用-电子计算机 (2)
- 电子计算机-数理逻辑-应用 (2)
- 1963 (1)
- 中国 (1)
- 几何-定理证明:机器证明 (1)
- 动力系统(数学) (1)
- 基础理论 (1)
- 基础知识 (1)
- 定理证明:机器证明-几何 (1)
- 布尔代数 (1)
- 文集 (1)
- 机器证明 (1)
- 机器证明:定理证明-几何 (1)
- 电子计算机 (1)
- 确定系统 (1)
- 离散系统 (1)
- 英文 (1)
- 高等学校 (1)
主题
- [图书] (10)
文献类型
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
