“arithmetization”的概念、定义、翻译、参考文献-科学参考

单词	arithmetization
释义	arithmetization Mathematics ＞数理逻辑与数学基础＞证明论＞释义 arithmetization算术化 arithmetization算术化^† Computer 理论计算机科学可计算性与计算复杂性释文 arithmetization算术化
随便看	涅磐宇宙模型涅米茨算子涅费奥多夫，P.D. 涅里斯，S. 涅韦罗夫，A. 涅高兹，G.G. 消亡消亡时消亡概率消亡模消偏振消偏振因数消偏振镜消像差消像差反射望远镜消像差折射望远镜消像差望远镜消像差的消像差系统消像散消像散光学消像散器消像散性消[像]散成像消像散成像

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。