形式系统算术化
英语翻译
arithmetization of formal system
拓展翻译
形式系统
formal system
星形分布式系统
star distributed system
小项形式
minterm form
新形式
new model
形式
form; format; modality; shape
form
形式逼近
formal approximation
形式变换
formal transformation
形式变量
formal variable
形式变量过程参数
formal variable procedure parameter
形式变元
formal argument
形式标号
form label
形式标志
formal denotation; formal notation
形式表示
formal denotation
形式不完善
defect of form
形式参数
formal parameter
形式参数标识符
formal parameter identifier
形式参数表
formal parameter list
形式参数部分
formal parameter part
形式参数类型
type of formal parameter
形式测试
formal testing
