科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
黄伟;
上三角形矩阵; 下三角形矩阵; 同理可证; 命题; 归纳证明; 元素; 情形; 初等变换; 代数余子式; 行化;
机译:学生对数学证明和命题证明的证明计划
机译:命题公式和命题证明的元复杂性
机译:关于类型理论中某些形式无法证明的命题和原型证明的证明
机译:命题证明复杂性的算法应用。
机译:四种假定小菜蛾对甲基丁香酚的敏感性比较背背复杂的同胞物种–进一步证明它们属于一个相同的物种B。背侧
机译:夏氏命题的一个简单证明
机译:哪个定理证明。四种定理证明方法综述
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。