退出
我的积分:
中文文献批量获取
外文文献批量获取
陈效敏;
阳泉教育学院;
多项式; 反证法; “互质性”命题; “不可约性”命题; “否定性”命题;
机译:命题鸽子洞原理的拟多项式大小证明
机译:命题证明系统中线性方程组分辨率的复杂公式的多项式模拟与反驳。
机译:学生对数学证明和命题证明的证明计划
机译:基于证明的基于多项式的命题逻辑决策程序
机译:命题证明复杂性的算法应用。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:主命题鸽子原理的多项式规模证明
机译:通过组合几何和搜索对称性的命题证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。