退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:并发约束逻辑编程语言中交互式问题求解的执行方案
Jimmy H. M. Lee; Ho-fung Leung;
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:并发约束编程:一种语言及其执行模型
机译:Diadora原则:高效执行并发逻辑和相关语言
机译:约束逻辑编程语言2LP的并行化
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:具有线性逻辑约束的并行逻辑程序设计语言的设计与实现
机译:并发逻辑编程语言系列。
机译:通过扩展现有编程语言来创建并发编程语言的系统和方法
机译:逻辑编程语言程序的执行轨迹显示方法
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。