| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
| 标题: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
检索词:
*:*
,
检索到: 25 条结果,
检索时间: 0.122 秒
,
排序选项:
排序方式:
隐藏分类导航
- [logic, symbolic and mathematical] (25)
- mathematics (3)
- computable functions (2)
- fuzzy logic (2)
- machine theory (2)
- mathematical analysis (2)
- proof theory (2)
- algebra (1)
- algebra, boolean (1)
- automatic theorem proving (1)
- big data (1)
- calculus (1)
- categories (mathematics) (1)
- computer science (1)
- dialetheism (1)
- fuzzy sets (1)
- graphic methods (1)
- group theory (1)
- inconsistency (logic) (1)
- induction (mathematics) (1)
主题
- [图书] (25)
文献类型
| 1. |
|
|
|
| 2. |
|
|
|
| 3. |
|
|
|
| 4. |
|
|
|
| 5. |
|
|
|
| 6. |
|
|
|
| 7. |
|
|
|
| 8. |
|
|
|
| 9. |
|
|
|
| 10. |
|
|
