退出
我的积分:
中文文献批量获取
外文文献批量获取
郑学良;
浙江台州师专 317000;
竞赛题; 一兮; 例解; 解方程组; 丹一; 三正; 一曰; 可证; 了万;
机译:将二值命题逻辑中的卡尔马可推导性证明推广为多值逻辑
机译:学生对数学证明和命题证明的证明计划
机译:几种命题逻辑系统中命题优劣的统一集成方法及其应用
机译:关于类型理论中某些形式无法证明的命题和原型证明的证明
机译:命题证明复杂性的算法应用。
机译:如何对系统性硬化症患者进行高超声检查皮肤参与 - 统一协议的命题
机译:公共体育休闲政策和公共教育政策:在学校内外推广体育教育还是两个权重和两个措施?体育和娱乐的公共政策以及公共教育政策:在学校内外推广体育教育还是两项措施?体育和休闲的公共政策与公共政策教育:在校内外推广体育教育还是双重标准?
机译:通过组合几何和搜索对称性的命题证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。