退出
我的积分:
中文文献批量获取
外文文献批量获取
葛义扬;
南京市燕子矶初级中学;
定理证明; 直角; 北师大版; 教学过程; 人教版; 公理; L定理; HL;
机译:关于CAS辅助定理证明的几点思考。
机译:具有斜边/斜边的多孔直角三角形外壳内的对流热流可视化分析
机译:从斜边和半径构造直角三角形
机译:工程热力学教学中的几点思考与思考
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:是否采用更具侵略性的COVID-19案例检测方法来减轻ICU的负担?来自意大利的几点思考
机译:无词证明:无毕达哥拉斯的整数直角三角形斜边
机译:关于电镀涂层在光学中作用的几点思考及其生产的几点思考
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:机械屏障的屏障元件具有直角三角形延伸的形状,该三角形具有长的斜边和斜边,并且每个都有开口,并且轴的后两侧成角度安装
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。