全部工具
便民生活
健康生活
学习效率
电脑工具
首页
>
英汉词典
>
Curry-Howard correspondence
Curry-Howard correspondence
英
[Curry-Howard correspondence]
美
[Curry-Howard correspondence]
中文释义
[网络] 柯里-霍华德同构
单词分析
单词结构:
Curry-Howard correspondence
字母数:27
记忆提示
🎯 重点记忆:
单词拼写:Curry-Howard correspondence
核心含义:[网络] 柯里-霍华德同构
最近查询:
be expert at
biassed cloth
blude
chief justice of the common pleas
corona field intensity
endler
fore quarter
fuel saving ratio
hog-nosed badger
loader digger
low temperature passivation transistor
nonparametric analysis
PVP/VA
Rieckenberg's phenomenon
salt elimination
single-office system
swc (short wave choke)
system dynamics predictive model
taxes with
Xiphinema
更新时间:2026-02-03 18:49:33