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

单词	λ reduction
释义	λ reduction Encyclopedia 文学计算语言学释 λ reductionλ化简在语义自动分析中，变量由指定的一阶谓词逻辑项进行简单的字面替换并去掉的过程。
随便看	瓦莱里，P. 瓦菲俄金杯瓦萨夫史瓦萨里，G. 瓦萨雷利，V. 瓦萨，P. 瓦西列夫，O. 瓦西连科，S. V. 瓦西里·焦尔金瓦西里·菲韦伊斯基的一生瓦西里二世瓦西里升天教堂瓦西里耶夫瓦西里耶夫不变量瓦西里耶夫兄弟瓦西里耶夫，A.A. 瓦西里耶夫，B.L. 瓦西里耶夫，F.A. 瓦西里耶夫，P.N. 瓦西里耶夫，V. 瓦西里耶维奇，S.B. 瓦解瓦解时间瓦解率瓦记录

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