| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
机器证明
,
检索到: 15 条结果,
检索时间: 0.187 秒
,
排序选项:
排序方式:
隐藏分类导航
- A508基础科学类阅览室 (7)
- A105新馆大书库 (5)
- A609计算机、运输工程类阅览室 (2)
- 公费自购图书库 (1)
- 丢失待核查 (1)
馆藏地点
- 机器证明 (5)
- 代数方程 :非线性方程 (2)
- 几何 (2)
- 定理证明 (2)
- 定理证明: 机器证明 (2)
- 机器证明: 定理证明 (2)
- 计算机科学 (2)
- 非线性方程: 代数方程 (2)
- 不变量 (1)
- 不等式 (1)
- 人工智能 (1)
- 几何--定理证明:机器证明 (1)
- 基本知识 (1)
- 定理--证明 (1)
- 定理证明:机器证明--几何 (1)
- 应用 (1)
- 技术史 (1)
- 数理逻辑 (1)
- 方程解 (1)
- 机器证明:定理证明--几何 (1)
主题
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
