 |
| |||
| Theorembeweisen | |||
| Theorembeweis; Theorembeweiser; Beweissuchverfahren n; Beweisverfahren n | |||
|
theorem-proving : 18 短语, 5 学科 |
| 一般 | 1 |
| 人工智能 | 11 |
| 信息技术 | 4 |
| 光学（物理学分支） | 1 |
| 技术 | 1 |
|
| |||
| Theorembeweisen | |||
| Theorembeweis; Theorembeweiser; Beweissuchverfahren n; Beweisverfahren n | |||
|
theorem-proving : 18 短语, 5 学科 |
| 一般 | 1 |
| 人工智能 | 11 |
| 信息技术 | 4 |
| 光学（物理学分支） | 1 |
| 技术 | 1 |