释义 |
Diophantine predicate
- 断定为duàn dìng wéi
predicate
- 谓语的wèi yǔ de
predicate
- 述词shù cí
predicate
- 述语shù yǔ
predicate
- 意味着yì wèi zhe
predicate, presume, spell
- 丢番图方程组diū fān tú fāng chéng zǔ
system of diophantine equations
- 判定pàn dìng
judge; decide; vote; determine; predicate
- 谓词交叉模型wèi cí jiāo chā mó xíng
predicate intersection model
|