＞数理逻辑与数学基础＞模型论＞释义 disjunctive normal form 析取范式 disjunctive normal form 析取范式†
理论计算机科学 可计算性与计算复杂性 释文 disjunctive normal form 析取范式
- Marco Scacchi
- Marco-sociolinguistics
- Marco Vinicio Cerezo Arévalo
- Marc Quinn
- Marc Riboud
- Marc R. Tool
- Marcum Q function
- Marcus Annaeus Lucanus
- Marcus Aurelius Antoninus
- Marcus Clarke(Andrew Hislop)
- Marcus electron transfer theory
- Marcus Fabius Quintilian
- Marcus Fabius Quintilianus
- Marcus Garvey
- Marcus Gheeraerts
- Marcus inverted region
- Marcus Pacuvius
- Marcus Porcius Cato
- Marcus theory
- Marcus theory for electron transfer
- Marcus Tullius Cicero
- Marcus Valerius Martialis
- MARC，U.S.
- Mardesic
- Mardešić