退出
我的积分:
中文文献批量获取
外文文献批量获取
段振江;
甘肃广播电视大学继续教育学院;
条件; 查询; 存在量词;
机译:增强QBF的不匹配核心:削弱普遍性的存在量词
机译:具有普遍存在量词的区间线性规划中的鲁棒最优解
机译:存在量词的析取数据日志:语义,可判定性和复杂性问题
机译:在数字逻辑设计中实现唯一的存在量词
机译:造山带和冷却造山带中晚白垩世山脉堇青石-脆性剪切带的流体和结构演化:来自内华达山脉,加利福尼亚和喀斯喀特结晶岩心的实例
机译:刺激刺激和应用解析和系统报告商业包装食品中的成分的框架
机译:终端癌症患者的希望经验:应用解析人类成为方法
机译:威斯康星州东北部山地剪切带:早元古代penokean造山带内的离散韧性变形带
机译:应用解析设备和应用解析程序
机译:SQL语句提取设备,SQL语句提取方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。