SN:强正火
“强正火”是英文术语“Strongly Normalizing”的中文译名,在学术和工程领域常缩写为SN,以便于快速书写和引用。该术语广泛应用于类型理论、程序语言设计及形式化方法等综合领域,特指一类具有特定规范化性质的逻辑系统或计算模型。
Strongly Normalizing具体释义
Strongly Normalizing的英文发音
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若SN词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。