 |
| |||
| first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic | |||
|
logique des predicats : 2 短语, 1 学科 |
| 信息技术 | 2 |
|
| |||
| first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic | |||
|
logique des predicats : 2 短语, 1 学科 |
| 信息技术 | 2 |