＞数理逻辑与数学基础＞模型论＞释义 conjunctive normal form 合取范式 conjunctive normal form 合取范式†
理论计算机科学 可计算性与计算复杂性 释文 conjunctive normal form 合取范式
- Heinrich Wilhelm Gottfried von Waldeyer-Hartz
- Heinrich Wilhelm Matthias Olbers
- Heinrich Wilhelm von Gerstenberg
- Heinrich Zoelly
- Heinrich’s theory of casuality
- Heins
- Heins end
- Heinsius crater
- Heinz
- Heinz Bongartz
- Heinz Hartmann
- Heinz Holliger
- Heinz inequality
- Heinz-Kato inequality
- Heinz von Perckhammer
- heir
- Heisei recession
- Heisenberg
- Heisenberg algebra
- Heisenberg equation
- Heisenberg equation of motion
- Heisenberg ferromagnet equation
- Heisenberg group
- Heisenberg Hamiltonian
- Heisenberg inequality