|
关注：1
2013-05-23 12:21
求翻译：Automated theorem proving; Lambda-calculus and combinatory logic; Model theory; Semantics of programming languages; Set theory; Set Theoretic Algebra; Type theory.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Automated theorem proving; Lambda-calculus and combinatory logic; Model theory; Semantics of programming languages; Set theory; Set Theoretic Algebra; Type theory.
问题补充： |
|
2013-05-23 12:21:38
正在翻译，请等待...
|
|
2013-05-23 12:23:18
自动定理证明 ; Lambda 的演算和逻辑 =mc2, ; 模型理论 ; 语义学的编程语言 ; 设置理论 ; 设置理论代数 ; 类型理论。
|
|
2013-05-23 12:24:58
自动化的定理证明; Lambda微积分和组合的逻辑; 式样理论; 编程语言语义学; 集合论; 集合理论代数; 键入理论。
|
|
2013-05-23 12:26:38
自动的定理证明;Lambda 演算和组合子逻辑;理论模型;语义学的编程语言;集理论;集的理论代数;类型理论。
|
|
2013-05-23 12:28:18
正在翻译，请等待...
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
