 |
| |||
| доказыватель теорем (mistral.ai Alex_Odeychuk); система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk) | |||
|
proof assistant : 2 短语, 1 学科 |
| 人工智能 | 2 |
|
| |||
| доказыватель теорем (mistral.ai Alex_Odeychuk); система автоматического доказательства теорем (theatlantic.com Alex_Odeychuk) | |||
|
proof assistant : 2 短语, 1 学科 |
| 人工智能 | 2 |