退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:类型FlatCurry的充分,指称,功能风格的语义
Jan Christiansen; Daniel Seidel; Janis Voigtländer;
机译:保护依赖类型理论的表示语义
机译:滴答时钟作为依赖权伴随:时钟类型理论的表示语义
机译:综合保护域理论中递归类型的指称语义
机译:适用于类型的FlatCurry的适当,表示,功能式的语义语义
机译:Smythe完成:用于指称语义和复杂性分析的通用拓扑基础。
机译:UMLS丰富语义网络的关系结构和语义类型分配
机译:概率语言中声音可编程推理的跟踪类型和表示语义
机译:语义域和指称语义。
机译:应用语义保证表示的方法和系统
机译:确定应用语义的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。