標簽:λ轉(zhuǎn)換演算
λ轉(zhuǎn)換演算
[拼音]:λ zhuanhuan yansuan [外文]:calculus of λ-conversion 用以定義可計算函數(shù)的形式演算系統(tǒng)。其特點是把函數(shù)與…
建筑資質(zhì)代辦
房建資質(zhì)地區(qū)
房建資質(zhì)代辦
最新文章
公示公告