＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- maglev electric vehicle
- Maglev System
- maglev traction power supply
- maglev train
- maglev train, magnetic levitation train
- maglev turnout
- magma
- magma chamber
- magma inclusion
- magma ocean hypothesis
- magma theory
- magmatic deposit
- magmatic differentiation
- magmatic rocks classification index
- Magmatic rocks tectonic assemblages
- magmatic series
- magmatism
- Magna Carta
- magnaflux
- Magna Graecia
- magnalium
- Magnanimity
- magnanin alloy
- magnescope
- M. Agnesi