退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:CLP方案中的约束Microkanren
Hemann, Jason.;
Indiana University.;
机译:具有CLP(FD)约束的多值动作语言
机译:CLPS—B —用于约束B规范的约束求解器
机译:使用参数集约束来定位CLP程序中的错误
机译:一种混合CLP / MP与逻辑约束建模和解决资源约束调度问题的方法
机译:迭代域参考调节器,批处理过程的约束管理方案
机译:来自羊水和脐带的MSCs需要不同的给药方案对CLP诱导的败血症大鼠的不同组织发出不同的疗效
机译:通过CLP方案的广义约束传播
机译:改进的视频约束方案设计
机译:用于识别由于奇异约束方案而导致的未定义几何形状的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。