＞数理逻辑与数学基础＞模型论＞释义 disjunctive normal form 析取范式 disjunctive normal form 析取范式†
理论计算机科学 可计算性与计算复杂性 释文 disjunctive normal form 析取范式
- carbon thermal reduction method
- carbon thermal reduction process for smelting magnesium
- carbon trade
- carbon trading
- carbon trading for transportation
- carbon trading in agriculture
- carbon trading market
- carbon turnover
- carbon-water coupling
- carbony extrusion reaction
- carbony-extrusion reaction
- carbonylation
- carbonyl cluster
- carbonyl compound
- carbonyl dichloride
- carbonyl group
- carbonylhemoglobin
- carbonyl powder
- carbonyl process
- carbonyl sulfide
- carbonyl sulfide (COS)
- carbon-zinc battery
- carboplatin
- carborane
- carbor bolometer