 |
| |||
| логика исчисления предикатов | |||
| логика предикатов | |||
| предикатная логика (ssn) | |||
| 英语 词库 | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 15 短语, 7 学科 |
| 信息技术 | 5 |
| 力学 | 1 |
| 数学 | 3 |
| 编程 | 3 |
| 自动化设备 | 1 |
| 逻辑 | 1 |
| 马卡罗夫 | 1 |
|
| |||
| логика исчисления предикатов | |||
| логика предикатов | |||
| предикатная логика (ssn) | |||
| 英语 词库 | |||
| |||
| quantificational logic (ssn) | |||
|
predicate logic : 15 短语, 7 学科 |
| 信息技术 | 5 |
| 力学 | 1 |
| 数学 | 3 |
| 编程 | 3 |
| 自动化设备 | 1 |
| 逻辑 | 1 |
| 马卡罗夫 | 1 |