＞数理逻辑与数学基础＞模型论＞释义 conjunctive normal form 合取范式 conjunctive normal form 合取范式†
理论计算机科学 可计算性与计算复杂性 释文 conjunctive normal form 合取范式
- induction logging
- induction meter
- induction meter technology
- induction motor
- induction motor step-down start
- induction on energy
- induction on mass
- induction on n
- induction parameter
- induction period
- induction period of general anesthesia
- induction period of ignition
- induction predicate
- induction principle
- induction proof
- induction proposition
- induction rule
- induction scheme
- induction step
- induction terminal
- induction theory
- induction-type acceleration mechanism
- induction type relay
- induction variable
- inductive