 |
| |||
| процесс логического вывода дополнительных истинных высказываний из существующих высказываний (ssn) | |||
|
process of inferring additional true propositions from the given ones : 2 短语, 1 学科 |
| 数据库 | 2 |
|
| |||
| процесс логического вывода дополнительных истинных высказываний из существующих высказываний (ssn) | |||
|
process of inferring additional true propositions from the given ones : 2 短语, 1 学科 |
| 数据库 | 2 |