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

单词	兰姆达演算
释义	兰姆达演算 Encyclopedia 哲学逻辑释 Lambda calculus兰姆达演算美国逻辑学家A.丘奇于20世纪30年代提出的一套形式系统。又称λ-演算。
随便看	长爆发长爪沙鼠长片段聚合酶链反应长片蕨属长版书长牡蛎长牡蛎“海大1号” 长牡蛎养殖长牡蛎苗种繁育长物志长物志·论画长狄长球体长球面长球面坐标长球面波函数长生殿长田秀雄长痣小蜂科长發长白口岸长白山保护开发区长白山北坡国家森林公园长白山国家级自然保护区长白山大峡谷

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