＞数理逻辑与数学基础＞模型论＞释义 disjunctive normal form 析取范式 disjunctive normal form 析取范式†
理论计算机科学 可计算性与计算复杂性 释文 disjunctive normal form 析取范式
- negative semi definite matrix
- negative semi-definite matrix
- negative semi-definite operator
- negative semi definite quadratic form
- negative semi-definite quadratic form
- negative semi-definte quadratic form
- negative semi-orbit
- negative semi-trough
- negative sense single-stranded RNA virus
- negative sequence
- negative sequence current carrying capability
- negative side
- negative sign
- negative skewness
- negative skin friction of piles
- negative spinor
- negative stable matrix
- negative staining
- negative strand
- negative stress
- negative subspace
- negative supercoiling
- negative surface energy
- negative system of roots
- negative temperature