＞数理逻辑与数学基础＞模型论＞释义 disjunctive normal form 析取范式 disjunctive normal form 析取范式†
理论计算机科学 可计算性与计算复杂性 释文 disjunctive normal form 析取范式
- tatarian aster root
- Tatarian honeysuckle
- Tatar language
- Tatar literature
- Tatar music
- Tatars
- Tatarstan， Respublika
- Tatar Strait
- TATA框
- TATB assumption
- Tate
- Tate algebra
- Tate Britain Gallery
- Tate cohomology
- Tate conjecture
- Tate conjecture on algebraic cycles
- Tate curve
- Tate duality
- Tate Gallery
- Tate group
- Tate-Honda theory
- Tate,John Torrence
- Tate Liverpool Gallery
- Tatematu Wahei
- Tate Modern Gallery