退出
我的积分:
中文文献批量获取
外文文献批量获取
吕帅; 刘磊; 江鸿; 史晶晶;
吉林大学计算机科学与技术学院;
长春;
130012;
智能规划; 基于可满足性的规划; 编码方式; 可满足性; 公理;
机译:一种混合整数规划方法,用于威胁管理的多动作规划
机译:求解广义线性分式规划的一种新的分支约简方法。
机译:线性约束凸规划的一种可能的约简算法
机译:变元约简问题的近似算法
机译:一种说服犹豫儿童疫苗犹豫的父母进行免疫的新策略:扎扎实实的理论研究和变元方法。
机译:M137。对视觉运动动作的高度信心招募了腹侧纹状体-一种了解阴性症状的变元方法?
机译:人脑中的概念编码方式:一种语义无关的基于形式的,基于类别的皮层组织
机译:命题演算声明转换为整数和混合整数规划:一种自动重构的方法。
机译:机器人动作规划系统,机器人系统,机器人工作验证系统和机器人动作规划方法
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。