?形式系统的算术化
... 拓展的加权算术平均 EWAA 形式系统的算术化 arithmetization of formal system 袖珍计算机的算术逻辑 arithmetic logic of pocket calculator ...
?正式系统算术化
... 认识论算术系统: Epistemological Arithemtic 费普浮点算术写码系统: floating-point arithmetic package 正式系统算术化: arithmetization of formal system ...
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。