教育资源公共服务平台
站内导航
公共查询科学技术名词模型论
数学数理逻辑数学基础模型论

形式化算术 formalized arithmetic 形式化算术的意思 formalized arithmetic的意思 形式化算术的英文

形式化算术

规范用词形式化算术

英文对照formalized arithmetic

所属学科数学 > 数理逻辑数学基础 > 模型论

名词审定数学名词审定委员会

见载刊物《数学名词》 科学出版社

公布时间1993年

科学技术名词为您提供形式化算术,formalized arithmetic,形式化算术的意思,formalized arithmetic的意思,形式化算术的英文,formalized arithmetic的翻译,形式化算术的翻译,形式化算术是什么意思,形式化算术什么意思,formalized arithmetic是什么意思,formalized arithmetic什么意思
形式化算术 相关科技名词
模型论»