科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
张艳芳; 赵广生;
北京农学院,基础科学系,北京,102206;
等价; 循环; 公理; 基本列;
机译:HEX博弈定理和Duggan-Schwartz定理在证明战略选择的社会选择对应中的等价性
机译:复制核心等价定理:Debreu-Scarf极限定理的扩展,使无穷货币经济倍增
机译:阿基米德系算子在证明普通极大值的中心极限定理的证明中的一些应用:开放数学
机译:直观的Podelski-Rybalchenko定理和归纳定义与循环证明之间的等价关系
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:家庭规模分布和Ewens等价定理。
机译:复制核心等价定理:Debreu-Scarf极限定理的扩展到双无穷大的货币经济
机译:计数过程和相关部分和的功能中心极限定理的等价性
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。