退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:保证和要求:声明性视觉编程语言的新类型模型的实现和复杂性分析
机译:程序分析以支持声明性语言的并发编程
机译:重访PRISM:使用多提示分隔控制以声明方式实现概率编程语言
机译:在声明性视觉编程语言中实现4级生动度
机译:编程语言设计的复杂性方面:通过证明网和交集类型,从日志空间到基本时间。
机译:T淋巴细胞动力学的动力学和机械重建方法:使用视觉建模语言弥合免疫学家理论学家和程序员之间的差距
机译:在声明式视觉编程语言中实现4级生动度
机译:声明性编程语言的分类方案:语法,语义和操作模型
机译:语言分析模型学习装置,语言分析模型学习方法,语言分析模型学习程序及其记录介质
机译:语言分析模型学习设备,语言分析模型学习方法,语言分析模型学习程序以及使用相同的记录介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。