 |
| |||
| tweede orde logica; tweede orde predikatenlogica; tweede orde predikatenrekening | |||
|
second order logic : 4 短语, 1 学科 |
| 信息技术 | 4 |
|
| |||
| tweede orde logica; tweede orde predikatenlogica; tweede orde predikatenrekening | |||
|
second order logic : 4 短语, 1 学科 |
| 信息技术 | 4 |