退出
我的积分:
中文文献批量获取
外文文献批量获取
李容录; 刘淑芬; 曹莉;
哈尔滨工业大学;
数学系;
哈尔滨;
150001;
上和; 下和; 上积分; 下积分;
机译:关于一个结的分支循环覆盖的同构性的一个计划定理的简短证明
机译:随机拉姆西定理的一个简短证明
机译:矩形格的全同表示定理的一个简短证明
机译:启发式定理证明:另一个SMT模定理证明
机译:模型检查和定理证明:一个统一的框架。
机译:Doob–Meyer定理的简短证明
机译:EKR定理的一个新的简短证明
机译:主要Bahadur-Kiefer定理的简短证明
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:用于从多个简短文档中将一个简短文档与另一个简短文档进行配对的系统,方法和装置
机译:勾股定理证明的新方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。