退出
我的积分:
中文文献批量获取
外文文献批量获取
杨景飞;
唐山师范学院数学系,河北唐山,063000;
内闭一致有界; 内闭一致收敛; 子函数列;
机译:量子力学中的遍历定理和H定理的证明〜*翻译:新力学中的遍历定理和H定理的证明
机译:一类细胞自动机吸引子的解析证明
机译:半平面上一类函数解析的唯一性定理
机译:使用解析度和因子分解基于等效变换证明定理
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:一类分类的拉姆西定理
机译:Conn线性化定理的解析泊松定理的几何证明 结构
机译:非因果连接 - 图解析定理 - 证明程序。
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。