蒙汉词典搜索
搜索词语:
常用词语: 语言翻译

鲁虺蒙汉词典 / 兰姆达可定义性(λ可定义性) ᠯᠠᠨᠮᠦᠢ᠍ᠳᠠ ᠶᠢᠨ ᠲᠣᠮᠢᠶᠠᠯᠠᠵᠤ ᠪᠣᠯᠬᠤ ᠴᠢᠨᠠᠷ( Λ ᠲᠣᠮᠢᠶᠠᠯᠠᠵᠤ ᠪᠣᠯᠬᠤ ᠴᠢᠨᠠᠷ) LANMUiDA-YIN T0MIYALAJV B0LHV CINAR( Λ T0MIYALAJV B0LHV CINAR) lambda-definability (=λ-definability ) 12 12 12 上一个 查看全部 下一个

兰姆达可定义性(λ可定义性) ᠯᠠᠨᠮᠦᠢ᠍ᠳᠠ ᠶᠢᠨ ᠲᠣᠮᠢᠶᠠᠯᠠᠵᠤ ᠪᠣᠯᠬᠤ ᠴᠢᠨᠠᠷ( Λ ᠲᠣᠮᠢᠶᠠᠯᠠᠵᠤ ᠪᠣᠯᠬᠤ ᠴᠢᠨᠠᠷ) LANMUiDA-YIN T0MIYALAJV B0LHV CINAR( Λ T0MIYALAJV B0LHV CINAR) lambda-definability (=λ-definability ) 12 12 12