“形式化算术”的概念、定义、翻译、参考文献-科学参考

单词	形式化算术
释义	形式化算术 Mathematics ＞数理逻辑与数学基础＞模型论＞释义 formalized arithmetic形式化算术 formalized arithmetic形式化算术^†
随便看	hollow-core bragg fiber hollow core optical fiber hollow core optical fiber laser hollow cup motor hollow discharge hollow dot hollow dramatic stage in Songjiazhuang Village, Yu County hollow fiber hollow fiber; macaroni fiber hollow fiber membrane for separation hollow fiber quilt hollow fiber reactor hollowing‐out of industry hollow nanomaterial hollow pulse hollow-space oscillator hollow structure hollow-type guide Hollow-valley Garden holly holly family holly ferns hollygreen barberry hollyhock Hollyhock,Butterflies by Dai Jin

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