＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- scalar triple product
- scalar-type
- scalar-valued
- scalar-valued function
- scalar-valued mapping
- scalar variable
- scalar virial theorem
- scalar wave theory
- Scala Sancta
- Scala语言
- scald and burn of larynx
- scalding
- scale
- scale analysis
- scale analysis and parameterization
- scale carrier
- scale construction
- scale control
- scaled depth of burst
- scaled down
- scaled-down
- scaled height
- scale division
- scaled particle theory
- scaled test aircraft