＞数理逻辑与数学基础＞模型论＞释义 conjunctive normal form 合取范式 conjunctive normal form 合取范式†
理论计算机科学 可计算性与计算复杂性 释文 conjunctive normal form 合取范式
- Hycole rabbit hybrid lines
- hydantoin
- hydatella family
- hydathodal cell
- hydathode
- hydatid
- hydatidiform mole
- hydatidosis
- Hyde Park
- Hyde Park Declaration
- Hyderabad
- Hydra
- hydrability
- Hydra-Centaurus supercluster
- hydracid
- hydraclone
- Hydra Cluster
- hydragogue method
- hydragric horizon
- hydramnios
- hydrangea dragon lamp
- hydrangea family
- Hydrangea flowers
- hydrantfire fighting systems
- hydrant system