University of Cambridge;
Microsoft Research;
机译:通过评估进行超级编译
机译:Martin-Lof类型理论的超编译
机译:高级超编译作为元系统过渡
机译:通过评估超级营运
机译:台湾教育部国家技术研究院评估的元评估:评估小组和利益相关者对评估实践的判断研究
机译:关于调味料组评估的科学意见61修订版2(FGE.61Rev2):考虑JECFA(第57、63和68次会议)评估的脂肪族乙缩醛与EFSA在FGE.03Rev2中评估的乙缩醛在结构上相关
机译:通过评估进行超级编译