请输入您要查询的字词:
单词
λ化简
释义
λ化简
Encyclopedia
文学
计算语言学
释
λ reduction
λ化简
在语义自动分析中,变量由指定的一阶谓词逻辑项进行简单的字面替换并去掉的过程。
随便看
dodecic surface
dodecyl alcohol
dodecyl aldehyde
dodecylamine collector
dodecyl mercaptan
dodecyl morpholine collector
dodec- 「=
dodging
Dodgson
dodine
Dodoma
Dodoma Region
Dodson
DOE
Doeblin
Doerfel crater
doeskin
Does Moral Philosophy Rest on A Mistake?
Doetsch
Doetsch three-line theorem
DOF
doffer
dog
Dog Amao
dogbane leaf
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/3/2 2:23:54