退出
我的积分:
中文文献批量获取
外文文献批量获取
王美丽; 李磊;
西安科技大学,理学院,陕西,西安,710054;
武警工程学院,基础部,陕西,西安,710086;
柯西准则; 聚点定理; 有限覆盖;
机译:命题线性时间时间逻辑的弱完备性定理
机译:测度仅具有有限范围的命题概率模型的完备性定理
机译:直觉命题逻辑的多项式空间完备性
机译:普适逻辑的命题演算形式演绎系统L〜U及其完备性
机译:实数和Z(2)-等价同构理论的代数循环。
机译:使用来自大型临床数据研究网络的真实数据评估先验患者试验可推广性评分的有效性:结直肠癌临床试验案例研究
机译:巴西的六个西格玛计划的实施和推广巴西的六个西格玛计划的实施和推广
机译:凹面优化方法与d'agostino表格在命题逻辑中的等价性
机译:海洋无线电频道命题设备,海洋无线电频道命题计划和海洋无线电频道命题方法
机译:命题设备,命题系统,命题方法和程序
机译:实数区间多项式的实数因子判定方式,实数因子判定器,具有误差的实数多项式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。