退出
我的积分:
中文文献批量获取
外文文献批量获取
陶文强;
浙江省金华一中!321071;
圆锥曲线; 二次曲线; 推广命题; 平行弦; 平面几何问题; 蝴蝶定理; 线相交; 直角坐标系; 有向线段; 韦达定理;
机译:将二值命题逻辑中的卡尔马可推导性证明推广为多值逻辑
机译:有限域上组合猜想的计算机辅助证明:一个国际象棋猜想的案例研究
机译:哥德巴赫猜想的一个等价命题(英文)
机译:Aanderaa-Rosenberg猜想的推广和证明
机译:通过积分仿射几何证明Looijenga猜想的证明。
机译:非线性微分形式的非整数部分的一个不等式猜想的证明
机译:Baker和Essam对一个猜想的证明和推广
机译:模型检验定理证明中的失败猜想:一个案例研究
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。