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

单词	λ化简
释义	λ化简 Encyclopedia 文学计算语言学释 λ reductionλ化简在语义自动分析中，变量由指定的一阶谓词逻辑项进行简单的字面替换并去掉的过程。
随便看	单代数扩张单代数的ζ函数单代数的判别式单代数的差积单代数群单仰萍单件模式单件生产单件车间作业排序单价单价体单价元素单价疫苗单价的单传输线单传递图单传递性单传递群单传递集单伸长单位单位GDP二氧化碳排放量单位GDP能耗量单位三角形函数单位三角形矩阵

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