“λ化简”的概念、定义、翻译、参考文献-科学参考

单词	λ化简
释义	λ化简 Encyclopedia 文学计算语言学释 λ reductionλ化简在语义自动分析中，变量由指定的一阶谓词逻辑项进行简单的字面替换并去掉的过程。
随便看	特殊选矿机械特殊选题专项报批特殊道路论特殊酉流形特殊酉矩阵特殊酉群特殊酉配边特殊配合力特殊配边特殊采矿特殊里卡蒂方程特殊防卫特殊防护装备工效设计特殊阿贝尔函数特殊阿贝尔簇特殊除子特殊除子类特殊零特殊项特殊预防特殊风险保险特比萘芬特气站特氟龙滤膜特沃特，F.W.

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。