退出
我的积分:
中文文献批量获取
外文文献批量获取
金樊;
中央财经大学文化与传媒学院;
命题逻辑; 推理; 有效性; 判定方法;
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:基于格值命题逻辑LP(X)的α自动推理方法
机译:关于n值R 0 inf>命题逻辑推理的分级方法
机译:揭示和解决矛盾的方法,以减少选择偏见,以提高非随机化纵向数据因果推理的有效性
机译:评估对齐过滤方法的有效性,以减少错误对进化推理的影响
机译:经典命题逻辑与变量的可判定性 直觉主义命题逻辑
机译:凹面优化方法与d'agostino表格在命题逻辑中的等价性
机译:有效性判定用磁性粉末,有效性判定用磁性粉末的制造方法,有效性判定用磁性墨水,有效性判定用印刷部件,有效性判定用印刷部件的检测装置以及有效性判定装置
机译:检索式有效性判定装置,专利检索系统,检索式有效性判定方法及程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。