科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用约束逻辑编程的自测程序的可重定向编译
Peter Marwedel; Gert Goossens; Ulrich Bieker;
机译:关于基准约束逻辑编程平台。回应费尔南德斯和希尔的“布尔和有限域上的八种约束编程语言的比较研究”
机译:概率逻辑程序中的TP编译
机译:逻辑程序的改进的证明理论汇编
机译:使用约束逻辑编程生成可重定目标的自测程序
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:使用约束逻辑编程生成可重定向自测程序
机译:逻辑电路的时序约束模型的生成方法,逻辑电路的时序约束模型的生成程序以及使用时序约束模型的时序驱动布局方法
机译:逻辑电路的时序约束生成系统以及逻辑电路的时序约束生成方法,控制程序和可读记录介质
机译:程序构造方法,程序编译支持方法,程序编译支持系统,事件列表记录介质,程序索引制造方法和程序索引编译设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。