...
机译:抽象效果和与证明相关的逻辑关系
Type and effect systems; region analysis; logical relations; parametricity; program transformation;
机译:抽象效果和与证明相关的逻辑关系
机译:通过逻辑关系和Galois连接免费提供抽象解释的安全性
机译:摘要的组成材料科学和技术以及图书馆和信息科学领域的摘要的逻辑结构
机译:与证明相关的逻辑关系以生成名称
机译:抽象劳动的阶级政治:墨西哥马基拉多拉斯州的组织形式和产业关系
机译:与OpenGALEN本体相关的NLP技术用于医学知识的半自动文本提取:抽象和映射等效的语言和逻辑结构。
机译:抽象效应与证明相关的逻辑关系