AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
任念兵; 周心华;
上海市育才中学;
机译:一类积分不等式及其熵不等式证明的应用
机译:一类单调函数的相关不等式的两个猜想的证明
机译:一类单调函数的相关不等式的两个假设的证明
机译:一类几何不等式自动证明的实用程序
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:关于一类相关不等式的两个猜想的证明 单调函数
机译:命题线性不等式判定程序的优化
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。