退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用逻辑编程的组合拍卖的声明性规范和解决方案
Chitta Baral; Cenk Uyan;
机译:组合问题的约束逻辑编程和答案集编程解的实证研究
机译:容错拍卖协议的规范性说明:英语拍卖案例研究
机译:建立规范性拍卖的声明框架
机译:使用逻辑编程的组合式拍卖的声明性规范和解决方案
机译:功能逻辑程序的声明式调试。
机译:顺序而不是同时的分子机制控制着病原体反应基因表达程序的组合控制逻辑
机译:组合问题的约束逻辑规划和答案集规划解的实证研究
机译:逻辑规格验证程序,逻辑规格验证装置和逻辑规格验证方法
机译:信息处理系统,组合优化解决方法和组合最佳解决方案计算程序
机译:可编程逻辑器件宏单元,具有排他性反馈和排他性外部输入线,用于组合模式并容纳两个单独的可编程或平面
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。