网站首页
请输入您要查询的词汇:
词汇
lambda calculus
释义
lambda calculus
λ演算
一种对逻辑公式中限制变数或项的值进行代入为主要运算的演算,用於程式理论,尤其是程式设计语言的语义理论。
随便看
coastguard cutter
coastguardsman
coasting
coasting
coasting ship
coasting trade
coasting vessel
coastland
coastline
coast-to-coast
coastward
coastways
coastwise
coastwise trade
coat
coat check
-coated
coated
coatee
coat hanger
coathanger
coati
coatimundi
coating
coat of arms
森罗网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 senrod.com All Rights Reserved
更新时间:2026/10/25 3:19:58