英语词汇“Martin-Lof's type theory”的意思、用法、释义、翻译、读音、例句、短语、词组-英汉翻译词典

单词	Martin-Lof's type theory
释义	Martin-Lof's type theory 马丁·洛夫类型理论，马丁·洛夫类型论
随便看	antihepatotoxic antihepatotoxicity antihepatotoxic principles antihepcidin Anti HER 2 Anti-HER 2 antiherbicide antiherbivore antiheretical anti-Hermitean operator anti-Hermitian form anti hermitian form anti-Hermitian matrix antihermitian operator antihermition function anti hero anti-hero antihero anti heroes anti-heroes antiheroes antiheroic antiheroically antiheroin antiheroine

英汉翻译词典包含4368284条英汉汉英翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习的有利工具。