退出
我的积分:
中文文献批量获取
外文文献批量获取
邵艺;
西华师范大学数学与信息学院;
四川南充637009;
初等数学; 证明; 应用;
机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:命题,动作和伴随模态逻辑的代数,证明理论及其应用
机译:学生对数学证明和命题证明的证明计划
机译:关于类型理论中某些形式无法证明的命题和原型证明的证明
机译:应用的初等数学:一种用于初等数学的学与教的创新方法。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:夏氏命题的一个简单证明
机译:通过组合几何和搜索对称性的命题证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。