＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- C. Lanczos
- C. Lanczos (1893—1974)
- Clandestine Marriage
- clan education
- Clan Fan's Charity
- clan force
- C language
- C# language
- C++ language
- Clan Huang of Xin’an
- clan of Bandaranaike
- clan's field
- clan system
- Claperon equation of state
- Claperyron equation
- Clapeyron
- Clapeyron Clausius equation
- Clapeyron-Clausius equation
- Clapeyron equation
- Clapeyron slope
- clapometer
- clapotis
- Clapp circuit
- clappers
- clapper talk