退出
我的积分:
中文文献批量获取
外文文献批量获取
张少禹;
内蒙古民族大学中央民族大学;
形式逻辑; 思辨哲学; 三段论; 演绎推理;
机译:通过形式逻辑对信息检索进行建模:一项调查
机译:形式逻辑与卡尔纳普对形而上学的拒绝:简短的反思
机译:应用形式逻辑:字符串搜索*
机译:证明珍珠:终结者的终结力分析
机译:女权主义和形式逻辑。
机译:形式逻辑及其在医学中的应用概述-I.
机译:形式逻辑与形式逻辑的可能融合
机译:基于γ-γ重合矩阵的形式逻辑分析的衰减方案重建方法和程序
机译:在构造语义描述中使用形式逻辑规范
机译:形式逻辑验证系统及方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。