＞数理逻辑与数学基础＞模型论＞释义 disjunctive normal form 析取范式 disjunctive normal form 析取范式†
理论计算机科学 可计算性与计算复杂性 释文 disjunctive normal form 析取范式
- calibrator
- calibrator for extensometer
- calibre
- calicheamicin
- calicivirus gastroenteritis
- calidus
- California current
- California encephalitis
- California Extremely Large Telescope
- California Highway 1
- California Institute of Technology
- California Institute of the Arts
- California Museum of Photography
- Californian Case Study House Program
- California Nebula
- California Psychological Inventory
- California rabbit
- California State
- California State Route 1
- California Valley
- California water right transaction
- californium
- californium-252
- californium-252 neutron source
- Caligula