退出
我的积分:
中文文献批量获取
外文文献批量获取
聂锡军;
无;
机译:关于和的极限的基本引理的基本证明
机译:基本直接证明Knaster-Kuratowski-Mazurkiewicz引理暗示Sperner引理
机译:下线性期望下彭中央极限定理的基本证明
机译:自动定理证明的引理知识中的冗余消除
机译:代数的基本定理:历史和证明的概述。
机译:具有数百万个引理的学习辅助定理证明
机译:Knaster-Kuratowski-mazurkiewicz的基本直接证明 引理暗示了斯珀纳的引理
机译:一种用于递归函数理论的引理驱动自动定理证明器。
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:在关联,关系和面向对象的数据库中存储术语数据的方法,涉及分别提供引理关键字,定义关键字和变体关键字作为引理,定义和品种元组,分别参考定义
机译:勾股定理证明的新方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。