＞数理逻辑与数学基础＞模型论＞释义 conjunctive normal form 合取范式 conjunctive normal form 合取范式†
理论计算机科学 可计算性与计算复杂性 释文 conjunctive normal form 合取范式
- iron-rich star
- iron-rod puppet show
- iron roughneck
- Iron Rule Inlaid with Gold
- Iron Ruler Inlaid with Cloud Pattern in Gold
- iron-rust glaze
- iron selenide
- Ironsides
- iron-silicon-aluminum soft magnetic alloys
- Iron Smelting and Making Site at Guyingzhen
- Iron Smelting and Making Site at Tieshenggou
- Iron Smelting and Making Site of Han Dynasty
- Iron Soldier
- Iron Square Measure ‘Sheng’ of the Home Ministry
- iron star
- iron statues in Song Dynasty
- iron sulfate
- iron sulfate heptahydrate
- iron sulfides
- iron-sulfur centre
- iron-sulfur protein
- iron sword in Spring and Autumn Period,Lingtai
- Iron Sword with Jade Handle of Guo State
- iron telluride
- iron triangle