＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- isospory
- isostasy
- isostasy gravity anomaly
- isostasy subsidence
- isostasy theory
- isostath
- isostatic correction
- isostatic gravity anomaly
- isostatic pressing molding for ceramics
- isostatic pressing technology
- isostatics
- isoster
- isostere
- isosterism
- isostich
- isostilb
- isostrophic loop
- isostrophic quasigroup
- isostrophy
- isostructural
- isostructuralism
- isostructural reaction
- isostructural species
- isosurface
- iso-surface extraction