退出
我的积分:
中文文献批量获取
外文文献批量获取
程卫红;
武警杭州指挥学院;
中值定理; 构造辅助函数; F(f’(ξ)f(ξ)ξ)=0类型;
机译:直觉命题自然演绎的ADC证明搜索方法
机译:高级规则的演算,命题量化和证明理论和谐的基础方法
机译:模态命题逻辑的Socratic证明方法:K5,S4.2,S4.3,S4F,S4R,S4M和G
机译:非线性系统的观测器设计:一种基于微分中值定理的方法
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:一种证明冷凝集素疾病的新方法:一例报告
机译:使用不确定乘数的方法,用于演示解析几何的一些命题。关于用于证明与共轭直径有关的主要定理的方法的注释
机译:通过组合几何和搜索对称性的命题证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。