 |
| |||
| cálculo de predicados de segundo orden; lógica de predicados de segundo orden; lógica de segundo orden | |||
|
second order logic : 4 短语, 1 学科 |
| 信息技术 | 4 |
|
| |||
| cálculo de predicados de segundo orden; lógica de predicados de segundo orden; lógica de segundo orden | |||
|
second order logic : 4 短语, 1 学科 |
| 信息技术 | 4 |