＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- replica technique
- replicated database
- replicate determination
- replicated experiment
- replicated sampling plan
- replicating belt
- replicating fork
- replicating form
- replicating media
- replicating symbol
- replication
- replication experiment
- replication experiments on engraving jades
- replication fork
- replication form
- replication in block
- replication initiation
- replication number
- replication origin
- replication polymerase
- replication site
- replication technology
- replicative senescence
- replicative symbol
- replicator