退出
我的积分:
中文文献批量获取
外文文献批量获取
徐千里;
无;
发现定理; 证明定理; 数学教育;
机译:定理是否允许例外?经验证明方案在数学教育中的扎实发现
机译:一个定理及其不同的证明:历史,数学教育和符号文化视角
机译:量子力学中的遍历定理和H定理的证明〜*翻译:新力学中的遍历定理和H定理的证明
机译:启发式定理证明:另一个SMT模定理证明
机译:使用WU的方法证明和发现几何定理。
机译:穆纳汉发现的一个定理的证明
机译:启发式定理证明者:另一个smt-模定理证明者
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:定理定理在那里有定理伴随定理
机译:确定理解度的系统和确定理解度的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。