＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- ship power system
- ship propeller noise
- ship propulsion appliances
- ship radiated noise
- ship register
- ship repair and building facilities of fishing port
- ship repairing & building facilities
- ship reporting systems
- ship routing
- ship safety inspection
- ship safety management system
- ship's cargo handling gear
- ship's deadweight
- ship seaworthness
- ship security
- ship sewage treatment system
- ship-shaped cities
- ship side pushing device
- ship signal light
- ship's operating indexes
- ship source oil spill pollution damage compensation fund
- ship speed and resistance
- ship speed control
- ship's routing
- ship stability