形式推导
- 形式推导的英文
英语翻译
formal deduction; formal development
拓展翻译
小项形式
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形式程序参数
formal program parameter形式程序测试
formal program testing
