- 1. 演算: lambda calculus
[10] λ演算(lambda calculus)是一仿用于钻研函数订义、函数哄骗以及递归的形式系统,在递归现实以及函数式编程中有灭遍及的运用。
dict.youdao.com - 2. 演算: calculus
...性验证 基于Pi演算的Web服务等价性验证 类型理论介绍 基于类型论的Web服务可替换性验证 Pi演算概念 Pi演算(Pi-Calculus)是九十年代计算机并行理论领 域最为重要的一个并发计算模型。
dict.youdao.com - 3. 演算: Rechnen
... Die Pause dauert 20 Minuten.其中的20 Minuten是第四格，做不及物动词dauern的时间补充成分（状语）。 Rechnen 演算 plus 加 + ...
dict.youdao.com - 4. 演算: calculation
... cagedman笼屋居民 caissonwall沉箱挡土墙 calculation演算 ...
dict.youdao.com - 5. 逻辑演算: logical calculus
dict.youdao.com - 6. 逻辑演算: logical calculus
dict.youdao.com - 7. 逻辑演算: logic calculus
dict.youdao.com - 8. 逻辑演算: Boolean calculus
dict.youdao.com - 9. 抽象演算: abstract calculus
dict.youdao.com - 10. 构造演算: calculus of constructions
dict.youdao.com
有道词典