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

单词	λ演算
释义	λ演算 Encyclopedia 理学类型理论释 λ-calculusλ演算一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。 Mathematics lambda-calculusλ演算^† λ-calculusλ演算^† Computer 理论计算机科学可计算性与计算复杂性释文 λ-calculusλ演算
随便看	Huɑshɑn Guojiɑ Senlin Gonɡyuɑn Huɑ Xiren Hu不变矩 HV HVAC system for classroom HVAC system for cultural relics HVAC system for hospitals HVAC system for hotels HVAC system for market buildings HVAC system for museum HVAC system for office buildings HVAC system for passenger waiting center HVAC system for residential buildings HVAC system for sports buildings HVAC system for weather environment simulation laboratory HVC HVDC converter station HVDC converter valve h vector h-vector HVL HVO HVOF H. von Koch H. von Koch (1870—1924)

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