“莱姆答抽象”的概念、定义、翻译、参考文献-科学参考

单词	莱姆答抽象
释义	莱姆答抽象 Encyclopedia 文学莱姆答运算释 λ-abstraction莱姆答抽象类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
随便看	自动铺丝技术自动铺带技术自动键控器自动闭塞自动问答技术自动问答系统模块自动问答系统类别自动集自动频率微调管自动频率控制自动飞行控制模态自动飞行控制系统自动餐具洗涤剂用光亮剂自动驾驶自动驾驶仪自动驾驶仪-主动雷达复合制导自动驾驶农业机械自动验证工具自动验证系统自动高电压控制自助估计自助再抽样算法自助再抽样统计自助出版自助分布

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