科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
邓乃扬; 陈志;
北京工业大学;
机译:作为“三平方定理及其证明”中的任务搜索进行教学证明
机译:关于仿射Kac-Moody Lie代数的Cartan子代数的共轭性的Peterson-Kac定理的同调证明
机译:强Wolfe-Powell线搜索下Wei-Yao-Liu共轭梯度法的充分下降条件的证明
机译:PVS定理证明器中的模拟退火证明搜索
机译:(新)直接乘积定理的新证明。
机译:钟氏强马尔可夫定理的新证明
机译:可视化证明搜索以证明定理证明开发
机译:Gel'Fand定理与Orlicz-pettis定理的新证明
机译:用户定制的链接广告提供设备,用于播放链接的广告的便携式终端,以及用户定制的链接的广告提供方法,通过提供与广告有关的证明,可以最大程度地提高广告效果
机译:机舱油漆粉末涂层的表面在使用和磨损后迅速去除,并可以用其他新的和清洁的表面进行更换,从而最大程度地减少了在更换任何颜色时进行清洁的停机时间,同时获得了常规清洁的最佳效果
机译:机舱油漆粉末涂层的表面在使用和磨损后迅速去除,并可以用其他新的和清洁的表面更换。从而最大程度地减少了每次更换双色清洁的停机时间,并同时获得了常规清洁的最佳效果。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。